real procedure Factorial(n) ;
   value n; integer n;
     comment;
begin Factorial ≔ if n = 0 then 1 else n × Factorial(n - 1)
end;