using Teensy IntervalTimer library with Arduino