def seccomp_run.fin
import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccompimport Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I
253def seccomp_run.fin(r: Result<&2, &2, I.BpfError, U32>) -> Result<&2, &2, I.BpfError, SeccompAction>:
254 match r:
255 case Fail{e}:
256 Fail{e}
257 case Done{v}:
258 Done{SeccompAction.of_u32(v)}