Game: test-gen-HaVcoxTy-game by test-gen-HaVcoxTy-provider