fact: Definition ntp_request_ip_decode_76_input := Eval compute in Vector.map (@natToWord 8) [69;0;0;76;42;91;64;0;64;17;104;140;192;168;1;109;132;163;97;1;0;123;0;123;0;56;213;93;227;0;3;250;0;1;0;0;0;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;222;241;103;36;233;43;107;49].
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure