#include <stdio.h>
#include <assert.h>
int factor(int n)
{
assert(n >= 0);
if (n == 0)
return 1;
int result = 1;
for (int i = 2; i <= n; i++)
result *= i;
return result;
}
int main()
{
int s = 0;
s = factor(5) + factor(6) + factor(8);
printf("s = %d\n", s);
}