regen frozenmain

diff --git a/Programs/test_frozenmain.h b/Programs/test_frozenmain.h
index dbeedb7ffe0ce6249116383947cba6c1bad79bc0..1794032e2b131549d8ff74d258efaa7be04298eb 100644 (file)
--- a/Programs/test_frozenmain.h
+++ b/Programs/test_frozenmain.h
@@ -2,14 +2,14 @@
 unsigned char M_test_frozenmain[] = {
     227,0,0,0,0,0,0,0,0,0,0,0,0,9,0,0,
     0,0,0,0,0,243,184,0,0,0,128,0,94,0,82,1,
-    73,0,116,0,94,0,82,1,73,1,116,1,93,2,33,0,
+    73,0,117,0,94,0,82,1,73,1,117,1,93,2,33,0,
     82,2,52,1,0,0,0,0,0,0,31,0,93,2,33,0,
     82,3,93,0,80,6,0,0,0,0,0,0,0,0,0,0,
     0,0,0,0,0,0,0,0,52,2,0,0,0,0,0,0,
     31,0,93,1,80,8,0,0,0,0,0,0,0,0,0,0,
     0,0,0,0,0,0,0,0,33,0,52,0,0,0,0,0,
     0,0,82,4,44,26,0,0,0,0,0,0,0,0,0,0,
-    116,5,82,7,16,0,70,24,0,0,116,6,93,2,33,0,
+    117,5,82,7,16,0,70,24,0,0,117,6,93,2,33,0,
     82,5,93,6,12,0,82,6,93,5,93,6,44,26,0,0,
     0,0,0,0,0,0,0,0,12,0,50,4,52,1,0,0,
     0,0,0,0,31,0,75,26,0,0,9,0,30,0,82,1,