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