def prime

import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Field

import Base

34def prime(+one: Nat) -> Nat:
35  Nat.sub(w256(one), cp(one))

Uses (4)