  // If the token's symbol is CURVES, append a counter value
        if (keccak256(bytes(symbol)) == keccak256(bytes(DEFAULT_SYMBOL))) {
            _curvesTokenCounter += 1;
            name = string(abi.encodePacked(name, " ", Strings.toString(_curvesTokenCounter)));
            symbol = string(abi.encodePacked(symbol, Strings.toString(_curvesTokenCounter)));
        }

        if (symbolToSubject[symbol] != address(0)) revert InvalidERC20Metadata();
    function testTokenDefaultNaming() public {

        //user1 creates a token without assigning it a name/symbol
        vm.startPrank(user1);
        curves.buyCurvesToken(user1, 1);
        vm.stopPrank();

        //user2 creates another token with name/symbol as the default ones next in line
        vm.prank(user2);
        curves.buyCurvesTokenWithName(user2, 1, "Curves 1", "CURVES1");

        //This will always revert as default naming functionality won't work anymore
        vm.startPrank(user1);
        vm.expectRevert();
        curves.withdraw(user1, 1);
        vm.stopPrank();
    }
