--- a/UninterpretedBytes.st	Thu Mar 31 13:58:56 2016 +0200
+++ b/UninterpretedBytes.st	Thu Mar 31 14:00:17 2016 +0200
@@ -2631,25 +2631,17 @@
                     pointer = ((char **)cp)[0];
                     RETURN (__MKUINT((INT)(pointer)));
                 } else {
-#if 0
-                    printf("cp UNALIGNED (%"_lx_")\n", (INT)cp);
-#endif
+                    // printf("cp UNALIGNED (%"_lx_")\n", (INT)cp);
                 }
             } else {
-#if 0
-                printf("idx(%"_ld_")+(sizeof(pointer)-1) (%d) >= sz (%"_ld_")\n",
-                        idx, (int)(sizeof(pointer)-1), sz);
-#endif
+                // printf("idx(%"_ld_")+(sizeof(pointer)-1) (%d) >= sz (%"_ld_")\n",
+                //        idx, (int)(sizeof(pointer)-1), sz);
             }
         } else {
-#if 0
-            printf("cp is NULL\n");
-#endif
+            // printf("cp is NULL\n");
         }
     } else {
-#if 0
-        printf("bad index\n");
-#endif
+        // printf("bad index\n");
     }
 bad:;
 %}.