def Mag.mul

import bend-kit-bignum@0.1.0.0/bigint.bend as Bigint

import Base

189def Mag.mul(a: List<&2, U32>, b: List<&2, U32>) -> List<&2, U32>:
190  Mag.kmul(32n, a, b)

Uses (3)