program
x;
y;
z;
begin
  y := x;
  z := 1;
  while y > 1 
    do ( z := z*y; y := y - 1; )
  y := 0;
end