core::integer::u8_sqrt

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