pub extern "C" fn __rust_i128_subo(a: i128, b: i128) -> (i128, bool)