let view_table_var (() : unit) : unit = Hashtbl.iter (fun (a,b) c -> prerr_string (a^","^b^" -> "^(get_value_of_var a b)^"\n")) var_value; prerr_string "\n------------\n"