type BpfStep
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
41# what an instruction leads to: skip some instructions and go on, answer,
42# or fail
43type BpfStep is Data:
44 BpfNext{skip: Nat, st: BpfState}
45 BpfStop{value: U32}
46 BpfFault{error: I.BpfError}