unsigned. check_range_signed [...] signed. check [...] -range checks unsigned. check_l_range_signed
signed byte Byte = (18 [...] signed integer UInt [...] signed integer UInt