def exec
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as FS
38def exec(+p: Nat, op: SOp, +regs: List<&2, Nat>) -> Nat:
39 match op:
40 case SAdd{i, j}: FS.madd(p, nth(i, regs), nth(j, regs))
41 case SSub{i, j}: FS.msub(p, nth(i, regs), nth(j, regs))
42 case SMul{i, j}: FS.mmul(p, nth(i, regs), nth(j, regs))