dispose_local_environment 1281 eval.c         	dispose_local_environment(inter);
dispose_local_environment 1286 eval.c             dispose_local_environment(inter);
dispose_local_environment 1448 eval.c         	dispose_local_environment(inter);
dispose_local_environment 1453 eval.c             dispose_local_environment(inter);