Function internet_checksum_th

fn internet_checksum_th(values: [uint<16>; 34], extra: uint<24>) -> uint<16>