fact: Definition http_request_tcp_encode_107_input := Eval compute in (must (fiat_tcp_decode http_request_tcp_decode_107_input (Vector.map (@natToWord 8) [192;168;1;109]) (Vector.map (@natToWord 8) [151;101;129;164]) (natToWord 16 107)) I).
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure