Definition u32 := BiU32.
