Reads the header length of a TCP header, in 32-bit words (4 bits) from fields.
fields
get_anon_struct_th_off :: (fields: tcphdr) -> u8