Reads the FIN flag of a TCP header from fields.
fields
get_anon_struct_1_fin :: (fields: tcphdr) -> bool