component Factorial
  export Executable
  factorial ( n ) = PRODUCT [ i <- 1 : n ]  i
end