Double allocation of digital pins

Not just theoretically, but in fact. Arduino SPI reference.