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