let ! a very short example program
     var n : Integer;
     proc inc ( ) ~
         n := n + 1
     in begin
          n := 0;  inc ( )
     end ! of program