Teensy: High pins don't work

[3hhh]

I just wanted to use pin A17 on a Teensy 4.1 and it didn't work.

I think the reason is that analogRead(17) reads pin 17, which is A3. Teensy forums suggest to use analogRead(A17) instead, but putting A17 as pin for edrumulus didn't work neither. Possibly A17 is defined by some non-Teensy include, I don't know.

According to the Teensy forums this behaviour applies to all pins >= 14. Maybe it even applies to all Arduino boards?

https://forum.pjrc.com/threads/64046-Cannot-find-A14-A17-on-a-Teensy-4-1
https://forum.pjrc.com/threads/54963-trouble-reading-Analog-pins-A14-and-above

[3hhh]

Btw I also tried with pin 41 instead of 17 and A17 and that didn't work neither.