fact: Definition GuardDataSchema := Query Structure Schema [ relation "connections" has schema <"src_addr" :: string, "src_port" :: nat, "dst_addr" :: string, "dst_port" :: nat> ] enforcing [].
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.Narcissus.Examples.NetworkStack.IPv4Header Fiat.Narcissus.Examples.NetworkStack.TCP_Packet Fiat.Narcissus.Formats.ByteBuffer