Generated without main.c