def bpf_of_octets.rem
import bend-osdev-bpf@0.1.0.0/insn.bend as Insnimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
412def bpf_of_octets.rem(r: Nat, q: Nat, +order: BpfOrder, +o: B.Octets, +len: Nat) -> Result<&2, &2, BpfError, List<&2, BpfRaw>>:
413 match r:
414 case 0n:
415 Done{bpf_of_octets.go(q, order, o, Nil{})}
416 case 1n+p:
417 Fail{BpfErrTruncated{len}}