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