1  #include <WProgram.h>
 2  
 3  //int main(void) __attribute__((noreturn));
 4  int main(void)
 5  {
 6  	_init_Teensyduino_internal_();
 7  
 8  	setup();
 9      
10  	while (1) {
11  		loop();
12  	}
13  }
14