def bpf_to_octets.go
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
383# each instruction's 8 bytes, last first, onto acc
384def bpf_to_octets.go(rs: List<&2, BpfRaw>, +order: BpfOrder, acc: List<&2, B.Octets>) -> List<&2, B.Octets>:
385 match rs:
386 case Nil{}:
387 acc
388 case Con{r, t}:
389 bpf_to_octets.go(t, order, Con{BpfRaw.to_octets(order, r), acc})