core::integer::u64_sqrt

pub extern fn u64_sqrt(value: u64) -> u32 implicits(RangeCheck) nopanic;