The procedure validate_zip_code is not defined in the server.

Show another procedure: