fn _Qp_mul(c: *f128, a: *const f128, b: *const f128) callconv(.c) void
fn _Qp_mul(c: *f128, a: *const f128, b: *const f128) callconv(.c) void { c.* = mulf3(f128, a.*, b.*); }