Spock example