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