let print_DecTable (out: out_channel) (dect: dec_table) = (
        output_string (out) "\n/*\n";
        Hashtbl.iter (dumpDecTable out) dect;
        output_string (out) "*/\n"
)