eval_def