Timer library for Teensy 3.0