Successful compilation.

Back to work on the semantics of SPI SD initialization.