Artifact: ds-to-spi-annotations