hunting leaks in eval_def