/* my include file */
#include <stdio.h>
#define INTTYPE int
INTTYPE factorial(INTTYPE);
INTTYPE input();
void output(INTTYPE);