def SS

import lawful-bytes@0.1.1.0/proof_fast_find.bend as ProofFastFind

import Base

461def SS(+wi: U32, +o: Nat) -> Nat:
462  Nat.add(Nat.mul(U32.to_nat(wi), 4n), o)

Uses (5)