def bpf_run
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I
344# the program's answer for this input
345def bpf_run(+inp: BpfInput, prog: List<&2, I.BpfOp>) -> Result<&2, &2, I.BpfError, U32>:
346 bpf_run.go(prog, BpfNext{0n, bpf_init()}, inp)