fact: Definition ntp_request_udp_decode_56_input := Eval compute in Vector.map (@natToWord 8) [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