plug leak in eval_def