#[no_mangle]
pub extern "C" fn __rust_i128_add(a: i128, b: i128) -> i128