Teensy Core Libraries for Arduino