pub open spec fn u32_be_from_bytes(i: [u8; 4]) -> u32
{ (i[0] as u32) << 24 | (i[1] as u32) << 16 | (i[2] as u32) << 8 | (i[3] as u32) }