/ teensy / Arduino.h
Arduino.h
1  #include "WProgram.h"
2  #include "pins_arduino.h"