input:

   { fact = 1;
     i = 1;
     while (i < 7) do
     { fact = (fact * i);
       i = (i + 1) }
     print f }

desired output:

    5040