let print_original_glob fmt glob = let printer = new printerClass None in Cil.printGlobal printer fmt glob