inline fn mul32(a: u32, b: u32) u32
inline fn mul32(a: u32, b: u32) u32 { return @intCast(@as(u64, a) * b >> 32); }