ns lookup after eval_def