2013-12-27: add the same output calls to tinyenc.c and tinyenc.w

add the same output calls to tinyenc.c and tinyenc.w

diff --git a/examples/tinyenc.c b/examples/tinyenc.c
--- a/examples/tinyenc.c
+++ b/examples/tinyenc.c
@@ -1,4 +1,5 @@
 #include <stdint.h>
+#include <stdio.h>
 
 void encrypt (uint32_t* v, uint32_t* k) {
     uint32_t v0=v[0], v1=v[1], sum=0, i;           /* set up */
@@ -6,9 +7,11 @@ void encrypt (uint32_t* v, uint32_t* k) 
     uint32_t k0=k[0], k1=k[1], k2=k[2], k3=k[3];   /* cache key */
     for (i=0; i < 32; i++) {                       /* basic cycle start */
         sum += delta;
+        printf("v0: %d, v1: %d\n", v0, v1);
         v0 += ((v1<<4) + k0) ^ (v1 + sum) ^ ((v1>>5) + k1);
         v1 += ((v0<<4) + k2) ^ (v0 + sum) ^ ((v0>>5) + k3);  
     }                                              /* end cycle */
+    printf("v0: %d, v1: %d\n", v0, v1);
     v[0]=v0; v[1]=v1;
 }
  
diff --git a/examples/tinyenc.w b/examples/tinyenc.w
--- a/examples/tinyenc.w
+++ b/examples/tinyenc.w
@@ -53,6 +53,7 @@ define : encrypt v k
         cycle 0
         v0 v0
         v1 v1
+      format #t "v0: ~A, v1: ~A\n" v0 v1
       if : = cycle 32
          + v1 : * v0 : integer-expt 2 32
          let : : v0tmp : uint32 : + v0 : v0change k0 v1 sum k1
@@ -86,13 +87,13 @@ define : decrypt v k
              . v1tmp
 
 
-display 
-    decrypt
-        encrypt 
-          . 5
-          . 9
-        . 9
-newline
+;display 
+;    decrypt
+;        encrypt 
+;          . 5
+;          . 9
+;        . 9
+;newline
 display
         encrypt 
           . 5