compiler_builtins::int::mul
#[no_mangle] pub extern "C" fn __mulosi4(a: i32, b: i32, oflow: &mut i32) -> i32