rewrite eval.cc local-set