dispose_local_environment 1207 eval.c         	dispose_local_environment(inter);
dispose_local_environment 1212 eval.c             dispose_local_environment(inter);
dispose_local_environment 1332 eval.c         	dispose_local_environment(inter);
dispose_local_environment 1337 eval.c             dispose_local_environment(inter);