def pkt_ip
import bend-osdev-bpf@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
59def pkt_ip(src: List<&2, U32>, dst: List<&2, U32>) -> B.Octets:
60 B.Octets.concat([B.Octets.of_list([255, 255, 255, 255, 255, 255, 2, 0, 0, 0, 0, 1, 8, 0, 69, 0, 0, 40, 0, 0, 64, 0, 64, 6, 0, 0]), B.Octets.of_list(src), B.Octets.of_list(dst), B.Octets.of_list([3, 232, 0, 80]), B.Octets.zeros(16n)])