def bpf_of_octets.fin
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
419def bpf_of_octets.fin(+order: BpfOrder, +o: B.Octets, +len: Nat, qr: Nat & Nat) -> Result<&2, &2, BpfError, List<&2, BpfRaw>>:
420 (q, r) = qr
421 bpf_of_octets.rem(r, q, order, o, len)