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