core::integer::u16_sqrt

pub extern fn u16_sqrt(value: u16) -> u8 implicits(RangeCheck) nopanic;