On the Leonardo, I noticed that SPI is isolated to the pins on the ICSP connector.
Can these pins also be used as standard Digital I/O pins?
I don't mean with low-level C/C++ code, but rather:
Are those SPI pins allowed as Digital I/O pins (or can they be enabled as such) from within the Arduino framework? If so, what are the corresponding pin numbers for them?