let is_typedef_name (s : string) = try if List.assoc s !name_table then true else false with Not_found -> false