core::integer::u32_sqrt

pub extern fn u32_sqrt(value: u32) -> u16 implicits(RangeCheck) nopanic;