1  unsigned
       2  rec (a, b)
       3       unsigned a;
       4       unsigned b;
       5  {
       6    return a * rec (a - 1, b + 1);
       7  }