procedure factorial (n : integer) : integer;
body
  factorial = if n <= 1 then 1 else n * factorial (n - 1);
end;