: fact iota 1 + '* reduce ;
  5 fact
120