ok1(u64.u64_bytes[7] == 0x00);
ok1(u64.u64_bytes[6] == 0x11);
ok1(u64.u64_bytes[5] == 0x22);
ok1(u64.u64_bytes[7] == 0x00);
ok1(u64.u64_bytes[6] == 0x11);
ok1(u64.u64_bytes[5] == 0x22);
ok1(u32.u32_bytes[3] == 0x00);
ok1(u32.u32_bytes[2] == 0x11);
ok1(u32.u32_bytes[1] == 0x22);
ok1(u32.u32_bytes[3] == 0x00);
ok1(u32.u32_bytes[2] == 0x11);
ok1(u32.u32_bytes[1] == 0x22);