pub fn vt_read_int32_be(t: u32) -> u32