The Arduino IDE performs some "magic" before it starts the gcc compiler, among which is adding this:
#include <WProgram.h>
int main(void)
{
init();
setup();
for (;;)
loop();
return 0;
}
So don't let you become fooled by fancy ideas. What's inside init() you can find by looking into:
Arduino/Hardware/Arduino/Cores/Arduino/Wiring.c