fact: Definition arp_request_arp_decode_28_input := Eval compute in Vector.map (@natToWord 8) [0;1;8;0;6;4;0;1;80;199;191;62;218;205;192;168;1;1;0;0;0;0;0;0;192;168;1;109].
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure