C program that reads a non-negative
integer and computes its factorial