compiler_builtins::int::addsub
#[no_mangle] pub extern "C" fn __rust_u128_sub(a: u128, b: u128) -> u128