(Core) main.c - style nits