Create fact.c