pub fn write_u32be(buf: &mut [u8], val: u32)
Write a big-endian u32 into a 4-byte slice. Caller guarantees buf.len() >= 4.
buf.len() >= 4