Also interested in ADC library for Teensy 4.0!