Symbol: TOK_DENY_INC