// example from page 480

\problem {

\<{
short a = 32767;
short b = 1;
short c = 2;
a = (short) ((a + b) / c);
}\>a=16384

}