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 $