spock example