#ifndef INTERLEAVE_H_
#define INTERLEAVE_H_

#include <stdint.h>

uint64_t interleave8(uint64_t x);

#endif /* INTERLEAVE_H_ */