core::integer::u256_sqrt

pub extern fn u256_sqrt(a: u256) -> u128 implicits(RangeCheck) nopanic;