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