Symbol: EVAL_REEVAL