def bpf_octets_max
import bend-osdev-bpf@0.1.0.0/insn.bend as Insnimport Base
432# 8 * BPF_MAXINSNS: the bytes of the longest program validation accepts by
433# default (LAWS.bend: octets_max_default ties it to bpf_maxinsns)
434def bpf_octets_max() -> Nat:
435 32768n