Demonstrates test generation using an SPM plugin, unless I check it out into a directory named ~/src/val/ on one particular machine, in which case it does nothing at all!