fn mulwide(a: u64, b: u64) [2]u64
fn mulwide(a: u64, b: u64) [2]u64 { const muldXi = @import("mulXi3.zig").muldXi; return @bitCast(muldXi(u64, a, b)); }