pub type ICMP4_TIME_EXCEED_CODE = i32;