pub extern "C" fn __rust_u128_addo(a: u128, b: u128) -> (u128, bool)