let 
    var a := 6
    var x := 0
    var s := "hello\n"
    var b := int [5] of 20
    function f(x : int) : int = 
      (a := a+x; a)
       
in
    printf(s);
    x := f(4);
    x := f(4);
printf("here1\n");
    printf("a is now %d, and x is now %d\n",a,x);
    a := 4;
    b[0] := 1;
    b[1] := 2;
    b[2] := 3;
    b[3] := 4;
    b[4] := 5;
    while a>=0 do
      ( printf("%d ",b[a]); a := a-1 );
    printf("\n")
end

$
