2013-12-27: more output

more output

diff --git a/examples/tinyenc.c b/examples/tinyenc.c
--- a/examples/tinyenc.c
+++ b/examples/tinyenc.c
@@ -12,6 +12,7 @@ void encrypt (uint32_t* v, uint32_t* k) 
         v1 += ((v0<<4) + k2) ^ (v0 + sum) ^ ((v0>>5) + k3);  
     }                                              /* end cycle */
     printf("v0: %d, v1: %d\n", v0, v1);
+    printf("k0: %d, k1: %d, k2: %d, k3: %d\n", k0, k1, k2, k3);
     v[0]=v0; v[1]=v1;
 }
  
diff --git a/examples/tinyenc.w b/examples/tinyenc.w
--- a/examples/tinyenc.w
+++ b/examples/tinyenc.w
@@ -54,6 +54,7 @@ define : encrypt v k
         v0 v0
         v1 v1
       format #t "v0: ~A, v1: ~A\n" v0 v1
+      if (= cycle 32) : format #t "k0: ~A, k1: ~A, k2: ~A, k3: ~A\n" k0 k1 k2 k3
       if : = cycle 32
          + v1 : * v0 : integer-expt 2 32
          let : : v0tmp : uint32 : + v0 : v0change k0 v1 sum k1