Example Pact verification in Google Go