bend-kit-runner@0.13.0.1 · runner.bend:464
import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base 464def W() -> Nat: 465 Nat.mul(65536n, 65536n)