def bpf_load.msh
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
142def bpf_load.msh(inp: BpfInput, k: U32) -> Maybe<&2, U32>:
143 match inp:
144 case BpfInput{order, data}:
145 bpf_load.msh.fin(B.Octets.at(data, U32.to_nat(k)))