let clear_tables () = Hashtbl.clear used_variables; Hashtbl.clear var_init; Hashtbl.clear used_typeinfo; Hashtbl.clear used_compinfo; Hashtbl.clear used_enuminfo