pub fn __ucmpti2(a: u128, b: u128) callconv(.c) i32
pub fn __ucmpti2(a: u128, b: u128) callconv(.c) i32 { return XcmpXi2(u128, a, b); }