Some commented-out debugging code

Enclave/storage.cpp

@@ -146,6 +146,15 @@ void storage_received(MsgBuffer &storage_buf)
         dests[i] = 0xffffffff;
         *(uint32_t*)(buf + i*msg_size) = 0xffffffff;
     }
+    /*
+    for (uint32_t i=0;i<stg_size; ++i) {
+        printf("%3d: %08x %08x %u\n", i,
+        *(uint32_t*)(storage_state.stg_buf.buf+(i*msg_size)),
+        *(uint32_t*)(storage_state.stg_buf.buf+(i*msg_size+4))),
+        dests[i];
+    }
+    */
+
 #ifdef PROFILE_STORAGE
     printf_with_rtclock_diff(start_dest, "end setting dests (%u)\n", stg_size);
 #endif
@@ -159,9 +168,10 @@ void storage_received(MsgBuffer &storage_buf)
 #endif
     /*
     for (uint32_t i=0;i<stg_size; ++i) {
-        printf("%3d: %08x %08x\n", i,
+        printf("%3d: %08x %08x %u\n", i,
         *(uint32_t*)(storage_state.stg_buf.buf+(i*msg_size)),
-        *(uint32_t*)(storage_state.stg_buf.buf+(i*msg_size+4)));
+        *(uint32_t*)(storage_state.stg_buf.buf+(i*msg_size+4))),
+        dests[i];
     }
     */