pub extern "C" fn __lshrdi3(a: u64, b: c_uint) -> u64