Are these two really needed in main.c?