renaming with-header-file.c to main.c for clarity