def umul_32_32_64(expr1, expr2): return lib.BinaryenBinary(module, lib.BinaryenMulInt64(), u_32_to_64(expr1), u_32_to_64(expr2))
def mul_64(expr1, expr2): return lib.BinaryenBinary(module, lib.BinaryenMulInt64(), expr1, expr2)