<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><div><font face="Calibri">check_lo (t: IType; READONLY i: Target.Int; code: RuntimeError);</font></div><div><font face="Calibri">(* IF (s0.t < i) THEN abort(code) *)</font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri">check_hi (t: IType; READONLY i: Target.Int; code: RuntimeError);</font></div><div><font face="Calibri">(* IF (i < s0.t) THEN abort(code) *)</font></div><div><font face="Calibri"><br></font></div><div><font face="Calibri">check_range (t: IType; READONLY a, b: Target.Int; code: RuntimeError);</font></div><div><font face="Calibri">(* IF (s0.t < a) OR (b < s0.t) THEN abort(code) *)</font></div><div style="font-family: Calibri; font-size: 12pt; "><br></div><div style="font-family: Calibri; font-size: 12pt; "><br></div><div style="font-family: Calibri; font-size: 12pt; ">Is it a good idea to consider "t" to apply to "i", "a", and "b", not just "s0"?</div><div style="font-family: Calibri; font-size: 12pt; "><br></div><div style="font-family: Calibri; font-size: 12pt; "><br></div><div style="font-family: Calibri; font-size: 12pt; ">I was just using TInt.ToText but I'm putting in the diligence now</div><div style="font-family: Calibri; font-size: 12pt; ">of appending U for UINT8/UINT16/UINT32</div><div style="font-family: Calibri; font-size: 12pt; ">and LL or I64 for INT64.</div><div style="font-family: Calibri; font-size: 12pt; ">On integer literals.</div><div style="font-family: Calibri; font-size: 12pt; "><br></div><div style="font-family: Calibri; font-size: 12pt; "><br></div><div style="font-family: Calibri; font-size: 12pt; ">Thank you,</div><div style="font-family: Calibri; font-size: 12pt; "><span style="font-size: 12pt; "> - Jay</span></div> </div></body>
</html>