Function ip_header

pub fn ip_header(dscp: uint<6>, ecn: uint<2>, payload_length: uint<16>, identification: uint<16>, flags: uint<3>, fragment_offset: uint<13>, ttl: uint<8>, protocol: uint<8>, source: IpAddr, dest: IpAddr) -> IpHeader<IpChecksum<16>>