def mul32
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
31def mul32(+x: U32, +y: U32) -> W64:
32 +x0 = (x .&. 65535 : U32)
33 +x1 = (x >> 16n : U32)
34 +y0 = (y .&. 65535 : U32)
35 +y1 = (y >> 16n : U32)
36 mul32.of((x0 * y0 : U32), (x0 * y1 : U32), (x1 * y0 : U32), (x1 * y1 : U32))