def eps
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
830def eps(+fuel: Nat, +prog: List<&2, Inst>, +pc: U32, +at0: Bool, +at1: Bool) -> Ew:
831 eps.go(fuel, prog, at0, at1, Ew{[pc], Nil{}, 0, False{}})
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
830def eps(+fuel: Nat, +prog: List<&2, Inst>, +pc: U32, +at0: Bool, +at1: Bool) -> Ew:
831 eps.go(fuel, prog, at0, at1, Ew{[pc], Nil{}, 0, False{}})