diff --git a/src/Core/Examples.hs b/src/Core/Examples.hs
index a99505a..153db5c 100644
--- a/src/Core/Examples.hs
+++ b/src/Core/Examples.hs
@@ -93,6 +93,7 @@ listExample1 = [coreProg|
 listExample2 = [coreProg|
     cc f x xs = Cons (f x) (map f xs)
     map f l = caseList# l Nil (cc f)
+    list = Cons 1 (Cons 2 (Cons 3 Nil))
     main = map negate# list;
 |]
 
diff --git a/src/TIM.hs b/src/TIM.hs
index cfd591b..0d91182 100644
--- a/src/TIM.hs
+++ b/src/TIM.hs
@@ -462,15 +462,15 @@ dbgProg p = do
 
 hdbgProg :: Program -> Handle -> IO (Node, Stats)
 hdbgProg p hio = do
-    -- hPrintf hio "==== Stats ====\n\
-    --             \result       : %s\n\
-    --             \allocations  : %4d\n\
-    --             \reductions   : %4d\n\
-    --             \dereferences : %4d\n\n"
-    --             (show res)
-    --             (sts ^. stsAllocations)
-    --             (sts ^. stsReductions)
-    --             (sts ^. stsDereferences)
+    hPrintf hio "==== Stats ====\n\
+                \result       : %s\n\
+                \allocations  : %4d\n\
+                \reductions   : %4d\n\
+                \dereferences : %4d\n\n"
+                (show res)
+                (sts ^. stsAllocations)
+                (sts ^. stsReductions)
+                (sts ^. stsDereferences)
     (hPutStr hio . prettyShow) `traverse_` p'
     pure (res, sts)
     where