let
enter_identifier_scope () =
(* prerr_endline "; *)
push scope_stack !name_table