Reads the first group of reserved bits of a TCP header, which are zero in valid segments from fields.
fields
get_anon_struct_1_res1 :: (fields: tcphdr) -> u16