AssignTokenId/NextTokenId: converted to a property