get_anon_struct_th_x2

Reads the 4 reserved bits of a TCP header, which are zero in valid segments from fields.

get_anon_struct_th_x2 :: (fields: tcphdr) -> u8