let
add_name s f =
(* prerr_endline (" ^ s ^ " ^ string_of_bool f); *)
push name_table (s, f)