diff -Bubr coq-8.3pl2/checker/checker.ml /root/coq-8.3pl2/checker/checker.ml
--- coq-8.3pl2/checker/checker.ml	2010-07-24 08:57:30.000000000 -0700
+++ coq-8.3pl2/checker/checker.ml	2011-05-09 18:52:09.965274656 -0700
@@ -159,7 +159,7 @@
     ~check:(List.rev !compile_list)
 
 let version () =
-  Printf.printf "The Coq Proof Checker, version %s (%s)\n"
+  Printf.printf "The Coq Proof Checker, version %s-tracer (%s)\n"
     Coq_config.version Coq_config.date;
   Printf.printf "compiled on %s\n" Coq_config.compile_date;
   exit 0
diff -Bubr coq-8.3pl2/plugins/extraction/haskell.ml /root/coq-8.3pl2/plugins/extraction/haskell.ml
--- coq-8.3pl2/plugins/extraction/haskell.ml	2011-04-15 09:05:07.000000000 -0700
+++ coq-8.3pl2/plugins/extraction/haskell.ml	2011-05-09 18:50:45.338873282 -0700
@@ -111,6 +111,9 @@
 
 
 let rec pp_expr par env args =
+  fun q ->  (str "(trace \"X\" (")++
+           (pp_expr' par env args q)++(str "))")
+and pp_expr' par env args =
   let par' = args <> [] || par
   and apply st = pp_apply st par args in
   function
diff -Bubr coq-8.3pl2/toplevel/usage.ml /root/coq-8.3pl2/toplevel/usage.ml
--- coq-8.3pl2/toplevel/usage.ml	2010-07-24 08:57:30.000000000 -0700
+++ coq-8.3pl2/toplevel/usage.ml	2011-05-09 18:51:35.022632296 -0700
@@ -9,7 +9,7 @@
 (* $Id: usage.ml 13323 2010-07-24 15:57:30Z herbelin $ *)
 
 let version () =
-  Printf.printf "The Coq Proof Assistant, version %s (%s)\n"
+  Printf.printf "The Coq Proof Assistant, version %s-tracer (%s)\n"
     Coq_config.version Coq_config.date;
   Printf.printf "compiled on %s with OCaml %s\n" Coq_config.compile_date Coq_config.caml_version;
   exit 0