def mul32
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
406def mul32(+x: U32, +y: U32) -> W2:
407 +x0 = (x .&. 65535 : U32)
408 +x1 = (x >> 16n : U32)
409 +y0 = (y .&. 65535 : U32)
410 +y1 = (y >> 16n : U32)
411 mul32.of((x0 * y0 : U32), (x0 * y1 : U32), (x1 * y0 : U32), (x1 * y1 : U32))