Use be_t<u32>/<64>