uteroutput">safe_t</code> types guarantees this to be true at
          compile time.</p></li>
</ul></div>
<p>Here is the output from the program when values 12 and 32
    are input from the console:</p>
<pre class="screen">example 84:
type in values in format x y:33 45
x&lt;signed char&gt;[-24,82] = 33
y&lt;signed char&gt;[-24,82] = 45
z = &lt;short&gt;[-48,164] = 78
(x + y) = &lt;short&gt;[-48,164] = 78
(x - y) = &lt;signed char&gt;[-106,106] = -12
&lt;short&gt;[-48,164] = 78
</pre>
</div>
<table xmlns:re