module "petstore" {