We should perhaps put this in test/extra so this doesn't get caught as a unit test (and displayed as trivially succeeding).