Do an example...
int factorial (int x) { int result; if (x < 2) { result = 1; } else { result = factorial (x-1) * x; } assert (result > 0); }
file:factorial.c Is this program OK?
