Pascal program:


program test (input, output);
 var a, b : integer;
        c : real;
 begin
   a := 3;
   b := a * 4;
   c := (b + a)/ 2;
   write(a,b,c)
 end.

Here is the TVI code for the program, which has been run through the
interpreter aned known to be correct. It assumes that a is at global
memory location 1, b is at 0, and c is at 2.


CODE
call      main,0
exit
PROCBEGIN  main
alloc 9
move      3,_3
move      _3,_1
move      4,_4
mul       _1,_4,_5
move      _5,_0
add       _0,_1,_6
move      2,_7
div       _6,_7,_8
ltof      _8,_9
move      _9,_2
print     "a = "
outp      _1
newl
print     "b = "
outp      _0
newl
print     "c = "
foutp     _2
newl
free      9
PROCEND


You can run this file yourself in the cs331 directory by saying

     run sample.tvi