BITS_IN_U8
buf[i * HIBMC_BYTES_IN_U32 + j] = value >> (j * BITS_IN_U8);
value |= buf[i * HIBMC_BYTES_IN_U32 + j] << (j * BITS_IN_U8);