 +	      | Neg -> "Neg"
 +	      | BNot -> "BNot"
 +	      | LNot -> "LNot"
-+    in pQuoted ("UnOp" ^ tok)
++    in text ("UnOp_" ^ tok)
 +
 +  method private pp_binop (bop:binop) : doc = 
 +    let tok = match bop with

 	./config.status $@
diff -urN cil.orig/src/ext/atermprinter.ml cil/src/ext/atermprinter.ml
--- cil.orig/src/ext/atermprinter.ml	1970-01-01 01:00:00.000000000 +0100
+++ cil/src/ext/atermprinter.ml	2006-01-16 10:36:29.000000000 +0100
@@ -0,0 +1,489 @@
+open Cil
+open Pretty
+open List

+	      | IULong -> "IULong"
+	      | ILongLong -> "ILongLong"
+	      | IULongLong -> "IULongLong"
+    in text ("Ikind_" ^ tok)
+
+  method private pp_fkind (fkin:fkind) : doc =
+    let tok = match fkin with
+	      | FFloat -> "FFloat"
+	      | FDouble -> "FDouble"
+	      | FLongDouble -> "FLongDouble"
+    in text ("Fkind_" ^ tok)
+
+  method private pp_typsig (tsig:typsig) : doc = if !E.verboseFlag then trace "pp_typsig" ;
+    match tsig with
