let leave_identifier_scope () = 
(*  prerr_endline "; *)
  name_table := pop scope_stack