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