def bpf_load.msh.fin
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
135def bpf_load.msh.fin(m: Maybe<&2, U32>) -> Maybe<&2, U32>:
136 match m:
137 case None{}:
138 None{}
139 case Some{b}:
140 Some{U32.shln(U32.and(b, 15), 2n)}