pub fn lib_block_u64_bytes(u: &u64) -> [u8; 8]