Function ip_header_checksum_th

fn ip_header_checksum_th(values: [uint<16>; 9]) -> uint<16>