fn construct_header(type: uint<8>, code: uint<8>, rest: [uint<8>; 4], payload_sum: uint<24>) -> IcmpHeader