Other items incompiler_builtins::int::addsub
pub extern "C" fn __rust_u128_addo(a: u128, b: u128) -> (u128, bool)