dispose_local_environment 1215 eval.c         	dispose_local_environment(inter);
dispose_local_environment 1220 eval.c             dispose_local_environment(inter);