int factorial(int);