def run_go
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
45def run_go(prog: List<&2, Op>, +regs: List<&2, List<&2, Nat>>) -> List<&2, List<&2, Nat>>:
46 match prog:
47 case Nil{}: regs
48 case op <> t: run_go(t, List.append(&2, List<&2, Nat>, regs, [exec(op, regs)]))