u64_t
u64_t u64;
u64 = (u64_t)u8 << 56;
u64 = (u64_t)u8 << 57;
u64 = (u64_t)u16 << 48;
u64 = (u64_t)u16 << 49;
u64 = (u64_t)u32 << 32;
u64 = (u64_t)u32 << 33;
u64_t u15:15;
u64_t u48:48;
u64_t u64;
u64_t u64;
u64 = u64 & (u64_t)~0xffffU;
u64_t u64;