#ifndef INTERLEAVE_H_ #define INTERLEAVE_H_ #include <stdint.h> #include "forceinline.h" uint64_t interleave8(uint64_t x); #endif /* INTERLEAVE_H_ */