finestructure / spi-doctest