diff -urN tsf-src-org/tsf_internal.h tsf-src/tsf_internal.h
--- tsf-src-org/tsf_internal.h  2023-03-31 10:49:45.000000000 +0800
+++ tsf-src/tsf_internal.h  2023-05-11 08:18:35.000000000 +0800
@@ -429,6 +429,7 @@
 #endif
             tsf_fsdb_connection_t *connection;
 #endif
+            uint32_t __padding;
         } remote;
     } u;
     tsf_limits_t *limits;
diff -urN tsf-src-org/tsf_ir_speed.c tsf-src/tsf_ir_speed.c
--- tsf-src-org/tsf_ir_speed.c  2023-03-31 10:49:45.000000000 +0800
+++ tsf-src/tsf_ir_speed.c  2023-05-11 08:18:35.000000000 +0800
@@ -63,6 +63,9 @@
         Program_t *program;
         unsigned elementIndex;

+        if (!(programIndex % 100))
+            printf("##programIndex: %u\n", programIndex);
+
         CS(program = tsf_region_create(sizeof(Program_t)));

         program->globals.len = numDecls + numDefns;
