(It also needs hardware in the form of 10M resistors.) Would it be challenging to make the arduino ADCTouch library work for Teensy 4.0? Right now it does not compile because of the absence of ADMUX, ADCSRA, and ADSC. Thanks for any suggestions on how to do this.