# read the json file at OpenAPIspecs/petstore.json with normal python libs ...