fact: Definition ntp_response_udp_decode_56_input := Eval compute in Vector.map (@natToWord 8) [0;123;0;123;0;56;247;218;28;1;13;227;0;0;0;16;0;0;0;32;78;73;83;84;222;241;102;203;0;0;0;0;222;241;103;36;233;43;107;49;222;241;103;36;241;94;157;42;222;241;103;36;241;94;166;251].
imports: Fiat.Narcissus.Examples.NetworkStack.TestInfrastructure