OSDN Git Service

PATH_MAX -> file_name_size
[putex/putex.git] / src / texsourc / itex.c
index ae0196a..d4797a2 100644 (file)
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301 USA.  */
 
-#pragma warning(disable:4996)
-#pragma warning(disable:4131) // old style declarator
-#pragma warning(disable:4135) // conversion between different integral types
-#pragma warning(disable:4127) // conditional expression is constant
-
 #define EXTERN extern
 
 #include "texd.h"
 
-#pragma warning(disable:4244) /* 96/Jan/10 */
-
-#include <time.h>
-
 #define BEGINFMTCHECKSUM 367403084L
 #define ENDFMTCHECKSUM   69069L
 
-extern clock_t start_time, main_time, finish_time; /* in local.c */
+extern clock_t start_time, main_time, finish_time;
 
 #ifdef INITEX
-  void do_initex (void); /* later in this file */
+  void do_initex (void);
 #endif
 
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
 /* sec 0004 */
 void initialize (void)
 {
@@ -51,13 +41,11 @@ void initialize (void)
   hyph_pointer z;
 #endif
 
-/* We already initialized xchr if we are using non_ascii setup */
-/* Normally, there is no translation of character code numbers */
   if (!non_ascii)
   {
     for (i = 0; i <= 255; i++)
       xchr[i] = (char) i;
-/* This is a kind of joke, since the characters are given as numeric codes ! */
+
 #ifdef JOKE
     xchr[32] = ' ';  xchr[33] = '!';  xchr[34] = '"';  xchr[35] = '#';
     xchr[36] = '$';  xchr[37] = '%';  xchr[38] = '&';  xchr[39] = '\'';
@@ -89,10 +77,9 @@ void initialize (void)
 
     for (i = 127; i <= 255; i++)
       xchr[i]= chr(i);
-#endif /* end of JOKE */
+#endif
   }
-/* end of plain ASCII case (otherwise have read in xchr vector before) */
-/* Fill in background of `delete' for inverse mapping                  */
+
   for (i = 0; i <= 255; i++)
     xord[chr(i)] = 127;
 
@@ -103,33 +90,29 @@ void initialize (void)
   for (i = 0; i <= 126; i++)
     xord[xchr[i]] = i;
 #endif
-  
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
-/* Now invert the xchr mapping to get xord mapping */
+
   for (i = 0; i <= 255; i++)
     xord[xchr[i]] = (char) i;
 
-  xord[127] = 127; /* hmm, a fixed point ? why ? */
+  xord[127] = 127;
 
-  flag = 0; /* 93/Dec/28 - bkph */
+  flag = 0;
 
   if (trace_flag != 0)
   {
-/*  entries in xord / xchr */
     for (k = 0; k < 256; k++)
       if (xord[k] != k)
       {
         flag = 1;
         break;
       }
-/* 127 here means mapping undefined */
+
     if (flag)
     {
-      show_line("Inverted mapping xord[] pairs:\n", 0);
+      puts("Inverted mapping xord[] pairs:\n");
 
       for (k = 0; k < 256; k++)
       {
-/*  entries in xord / xchr */
         if (xord[k] != 127)
         {
           sprintf(log_line, "%d => %d\n", k, xord[k]);
@@ -138,8 +121,8 @@ void initialize (void)
       }
     }
   }
-/* may now set in local.c bkph */
-  if (interaction < 0)
+
+  if (interaction < batch_mode)
     interaction = error_stop_mode;
 
   deletions_allowed = true;
@@ -149,15 +132,14 @@ void initialize (void)
   use_err_help = false;
   interrupt = 0;
   OK_to_interrupt = true;
-/* darn, need to know mem_top, mem_max etc for the following ... */
+
 #ifdef DEBUG
   was_mem_end = mem_min;
-/*  was_lo_max = mem_min; */
-  was_lo_max = mem_bot;
-/*  was_hi_min = mem_max; */
-  was_hi_min = mem_top;
+  was_lo_max = mem_bot; // mem_min
+  was_hi_min = mem_top; // mem_max
   panicking = false;
-#endif /* DEBUG */
+#endif
+
   nest_ptr = 0;
   max_nest_stack = 0;
   mode = 1;
@@ -169,11 +151,12 @@ void initialize (void)
   shown_mode = 0;
   page_contents = 0;
   page_tail = page_head;
+
 #ifdef ALLOCATEMAIN
-  if (is_initex) /* in iniTeX we did already allocate mem [] */
+  if (is_initex)
 #endif
-    mem[page_head].hh.v.RH = 0;
-/*  last_glue = 262143L;  */ /* NO! */
+    link(page_head) = 0;
+
   last_glue = empty_flag;
   last_penalty = 0;
   last_kern = 0;
@@ -239,8 +222,8 @@ void initialize (void)
   adjust_tail = 0;
   last_badness = 0;
   pack_begin_line = 0;
-  empty_field.v.RH = 0;
-  empty_field.v.LH = 0;
+  empty_field.rh = 0;
+  empty_field.lh = 0;
   null_delimiter.b0 = 0;
   null_delimiter.b1 = 0;
   null_delimiter.b2 = 0;
@@ -251,14 +234,16 @@ void initialize (void)
   cur_loop = 0;
   cur_head = 0;
   cur_tail = 0;
+
 /*  *not* OK with ALLOCATEHYPHEN, since may not be allocated yet */
 #ifndef ALLOCATEHYPHEN
   for (z = 0; z <= hyphen_prime; z++)
   {
-    hyph_word[z]= 0;
-    hyph_list[z]= 0;
+    hyph_word[z] = 0;
+    hyph_list[z] = 0;
   }
 #endif
+
   hyph_count = 0;
   output_active = false;
   insert_penalties = 0;
@@ -275,19 +260,13 @@ void initialize (void)
     write_open[k] = false;
 
   edit_name_start = 0;
+
 #ifdef INITEX
-/* initex stuff split off for convenience of optimization adjustments */
   if (is_initex)
   {
     do_initex();
   }
-#else
-/* trap the -i on command line situation if INITEX was NOT defined */
-  if (is_initex)
-  {
-    show_line("Sorry, somebody forgot to make an INITEX!\n", 1);
-  }
-#endif /* not INITEX */
+#endif
 }
 
 /* do the part of initialize() that requires mem_top, mem_max or mem[] */
@@ -298,12 +277,11 @@ void initialize_aux (void)
 {
 #ifdef DEBUG
   was_mem_end = mem_min;
-/*  was_lo_max = mem_min; */
-  was_lo_max = mem_bot;
-/*  was_hi_min = mem_max; */
-  was_hi_min = mem_top;
+  was_lo_max = mem_bot; // mem_min
+  was_hi_min = mem_top; // mem_max
   panicking = false;
-#endif /* DEBUG */
+#endif
+
 /*  nest_ptr = 0; */
 /*  max_nest_stack = 0; */
   mode = 1;
@@ -321,7 +299,7 @@ void initialize_aux (void)
 /* sec 0815 */
 void line_break_ (integer final_widow_penalty)
 {
-  bool auto_breaking;
+  boolean auto_breaking;
   halfword prevp;
   halfword q, r, s, prevs;
   internal_font_number f;
@@ -334,14 +312,10 @@ void line_break_ (integer final_widow_penalty)
   pack_begin_line = mode_line;
   link(temp_head) = link(head);
 
-  if ((tail >= hi_mem_min))
-  {
+  if (is_char_node(tail))
     tail_append(new_penalty(inf_penalty));
-  } 
   else if (type(tail) != glue_node)
-  {
     tail_append(new_penalty(inf_penalty));
-  }
   else
   {
     type(tail) = penalty_node;
@@ -435,6 +409,7 @@ void line_break_ (integer final_widow_penalty)
 
   if (threshold >= 0)
   {
+
 #ifdef STAT
     if (tracing_paragraphs > 0)
     {
@@ -442,6 +417,7 @@ void line_break_ (integer final_widow_penalty)
       print_nl("@firstpass");
     }
 #endif /* STAT */
+
     second_pass = false;
     final_pass = false;
     first_pass_count++; /* 96 Feb 9 */
@@ -451,6 +427,7 @@ void line_break_ (integer final_widow_penalty)
     threshold = tolerance;
     second_pass = true;
     final_pass = (emergency_stretch <= 0);
+
 #ifdef STAT
     if (tracing_paragraphs > 0)
       begin_diagnostic();
@@ -469,8 +446,8 @@ void line_break_ (integer final_widow_penalty)
       {
         if (trie_not_ready)
           init_trie();
-      } /* bkph */
-#endif /* INITEX */
+      }
+#endif
 
       cur_lang = init_cur_lang;
       lhyf = init_l_hyf;
@@ -501,9 +478,9 @@ void line_break_ (integer final_widow_penalty)
     auto_breaking = true;
     prevp = cur_p;
 
-    while((cur_p != 0) && (link(active) != active))
+    while ((cur_p != 0) && (link(active) != active))
     {
-      if ((cur_p >= hi_mem_min))
+      if (is_char_node(cur_p))
       {
         prevp = cur_p;
 
@@ -513,7 +490,7 @@ void line_break_ (integer final_widow_penalty)
             active_width[1] = active_width[1] + char_width(f, char_info(f, character(cur_p)));
             cur_p = link(cur_p);
           }
-        while(!(!(cur_p >= hi_mem_min)));
+        while (!(!is_char_node(cur_p)));
       }
 
       switch(type(cur_p))
@@ -535,7 +512,7 @@ void line_break_ (integer final_widow_penalty)
           {
             if (auto_breaking)
             {
-              if ((prevp >= hi_mem_min))
+              if (is_char_node(prevp))
                 try_break(0, unhyphenated);
               else if ((mem[prevp].hh.b0 < 9))
                 try_break(0, unhyphenated);
@@ -562,7 +539,7 @@ void line_break_ (integer final_widow_penalty)
               {
                 while (true)
                 {
-                  if ((s >= hi_mem_min))
+                  if (is_char_node(s))
                   {
                     c = character(s);
                     hf = font(s);
@@ -618,7 +595,7 @@ lab32:
 
                 while (true)
                 {
-                  if ((s >= hi_mem_min))
+                  if (is_char_node(s))
                   {
                     if (font(s) != hf)
                       goto lab33;
@@ -690,7 +667,7 @@ lab33:;
 
                 while (true)
                 {
-                  if (!((s >= hi_mem_min)))
+                  if (!(is_char_node(s)))
                     switch(type(s))
                     {
                       case ligature_node:
@@ -723,7 +700,7 @@ lab31:;
         case kern_node:
           if (subtype(cur_p) == explicit)
           {
-            if (!(link(cur_p) >= hi_mem_min) && auto_breaking)
+            if (!is_char_node(link(cur_p)) && auto_breaking)
               if (type(link(cur_p)) == glue_node)
                 try_break(0, unhyphenated);
 
@@ -749,7 +726,7 @@ lab31:;
             {
               do
               {
-                if ((s >= hi_mem_min))
+                if (is_char_node(s))
                 {
                   f = font(s);
                   disc_width = disc_width + char_width(f, char_info(f, character(s)));
@@ -777,7 +754,7 @@ lab31:;
                 }
                 s = link(s);
               }
-              while(!(s == 0));
+              while (!(s == 0));
 
               active_width[1] = active_width[1] + disc_width;
               try_break(hyphen_penalty, hyphenated);
@@ -788,7 +765,7 @@ lab31:;
 
             while (r > 0)
             {
-              if ((s >= hi_mem_min))
+              if (is_char_node(s))
               {
                 f = font(s);
                 active_width[1] = active_width[1] + char_width(f, char_info(f, character(s)));
@@ -801,12 +778,14 @@ lab31:;
                     active_width[1] = active_width[1] + char_width(f, char_info(f, character(lig_char(s))));
                   }
                   break;
+
                 case hlist_node:
                 case vlist_node:
                 case rule_node:
                 case kern_node:
                   active_width[1] = active_width[1] + width(s);
                   break;
+
                 default:
                   {
                     confusion("disc4");
@@ -814,19 +793,22 @@ lab31:;
                   }
                   break;
               }
+
               decr(r);
               s = link(s);
             }
+
             prevp = cur_p;
             cur_p = s;
             goto lab35;
           }
           break;
+
         case math_node:
           {
             auto_breaking = (subtype(cur_p) == 1);
             {
-              if (!(link(cur_p) >= hi_mem_min) && auto_breaking)
+              if (!is_char_node(link(cur_p)) && auto_breaking)
                 if (type(link(cur_p)) == glue_node)
                   try_break(0, unhyphenated);
 
@@ -834,13 +816,16 @@ lab31:;
             }
           }
           break;
+
         case penalty_node:
           try_break(penalty(cur_p), unhyphenated);
           break;
+
         case mark_node:
         case ins_node:
         case adjust_node:
           break;
+
         default:
           {
             confusion("paragraph");
@@ -848,6 +833,7 @@ lab31:;
           }
           break;
       }
+
       prevp = cur_p;
       cur_p = link(cur_p);
 lab35:;
@@ -863,16 +849,18 @@ lab35:;
         fewest_demerits = 1073741823L; /* 2^30 - 1 */
 
         do
-        {
-          if (type(r) != 2)
-            if (total_demerits(r) < fewest_demerits)
-            {
-              fewest_demerits = total_demerits(r);
-              best_bet = r;
-            }
-          r = link(r);
-        }
+          {
+            if (type(r) != 2)
+              if (total_demerits(r) < fewest_demerits)
+              {
+                fewest_demerits = total_demerits(r);
+                best_bet = r;
+              }
+
+            r = link(r);
+          }
         while (!(r == active));
+
         best_line = line_number(best_bet);
 
         if (looseness == 0)
@@ -883,28 +871,31 @@ lab35:;
         {
           r = link(active);
           actual_looseness = 0;
+
           do
-          {
-            if (type(r) != 2)
             {
-              line_diff = toint(line_number(r)) - toint(best_line);
-
-              if (((line_diff < actual_looseness) && (looseness <= line_diff)) ||
-                  ((line_diff > actual_looseness) && (looseness >= line_diff)))
+              if (type(r) != 2)
               {
-                best_bet = r;
-                actual_looseness = line_diff;
-                fewest_demerits = total_demerits(r);
-              }
-              else if ((line_diff == actual_looseness) && (total_demerits(r) < fewest_demerits))
-              {
-                best_bet = r;
-                fewest_demerits = total_demerits(r);
+                line_diff = toint(line_number(r)) - toint(best_line);
+
+                if (((line_diff < actual_looseness) && (looseness <= line_diff)) ||
+                    ((line_diff > actual_looseness) && (looseness >= line_diff)))
+                {
+                  best_bet = r;
+                  actual_looseness = line_diff;
+                  fewest_demerits = total_demerits(r);
+                }
+                else if ((line_diff == actual_looseness) && (total_demerits(r) < fewest_demerits))
+                {
+                  best_bet = r;
+                  fewest_demerits = total_demerits(r);
+                }
               }
+
+              r = link(r);
             }
-            r = link(r);
-          }
           while (!(r == active));
+
           best_line = line_number(best_bet);
         }
 
@@ -960,7 +951,7 @@ lab35:;
       final_pass = true;
       ++final_pass_count;         /* 96 Feb 9 */
     } /* end of if second_pass */
-  } /* end of while(true)do */
+  } /* end of while (true)do */
 /* cannot drop through from above loop */
 lab30:                /* common exit point */
   if (best_line == 2)
@@ -991,7 +982,7 @@ lab30:                /* common exit point */
 
   q = passive;
 
-  while (q != 0) /* while q<>null do l.16979 */
+  while (q != 0)
   {
     cur_p = link(q);
     free_node(q, 2);
@@ -1007,22 +998,22 @@ void prefixed_command (void)
   internal_font_number f;
   halfword j;
   font_index k;
-  halfword p, q;
+  pointer p, q;
   integer n;
-  bool e;
+  boolean e;
 
   a = 0;
 
   while (cur_cmd == prefix)
   {
     if (!odd(a / cur_chr))
-      a = a + cur_chr;      /*   small_number a;  */
+      a = a + cur_chr;
 
     do
       {
         get_x_token();
       }
-    while(!((cur_cmd != spacer) && (cur_cmd != relax)));
+    while (!((cur_cmd != spacer) && (cur_cmd != relax)));
 
     if (cur_cmd <= max_non_prefixed_command)
     {
@@ -1119,7 +1110,7 @@ void prefixed_command (void)
         }
 
         if (cur_cmd >= call)
-          incr(mem[cur_chr].hh.v.LH);
+          incr(mem[cur_chr].hh.lh);
 
         if ((a >= 4))
           geq_define(p, cur_cmd, cur_chr);
@@ -1255,7 +1246,7 @@ void prefixed_command (void)
           {
             get_x_token();
           }
-        while(!((cur_cmd != spacer) && (cur_cmd != relax)));
+        while (!((cur_cmd != spacer) && (cur_cmd != relax)));
 
         if (cur_cmd != left_brace)
         {
@@ -1277,7 +1268,7 @@ void prefixed_command (void)
                 eq_define(p, undefined_cs, 0);
             else
             {
-              incr(mem[q].hh.v.LH);
+              incr(mem[q].hh.lh);
 
               if ((a >= 4))
                 geq_define(p, call, q);
@@ -1374,13 +1365,13 @@ void prefixed_command (void)
         if (cur_chr == cat_code_base)
           n = max_char_code;
         else if (cur_chr == math_code_base)
-          n = 32768L;                 /* 2^15 */
+          n = 32768L; /* 2^15 */
         else if (cur_chr == sf_code_base)
-          n = 32767;                /* 2^15 - 1*/
+          n = 32767; /* 2^15 - 1*/
         else if (cur_chr == del_code_base)
-          n = 16777215L;              /* 2^24 - 1 */
+          n = 16777215L; /* 2^24 - 1 */
         else
-          n = 255;             /* 2^8 - 1 */
+          n = 255; /* 2^8 - 1 */
 
         p = cur_chr;
         scan_char_num();
@@ -1537,7 +1528,7 @@ void prefixed_command (void)
           {
             get_token();
           }
-        while(!(cur_cmd == right_brace));
+        while (!(cur_cmd == right_brace));
 
         return;
       }
@@ -1587,7 +1578,7 @@ void prefixed_command (void)
         return;       // abort_flag set
       }
       break;
-  } /* end of cur_cmd switch */
+  }
 
 lab30:
   if (after_token != 0)
@@ -1597,56 +1588,22 @@ lab30:
     after_token = 0;
   }
 }
-
-void bad_formator_pool (char *name, char *defaultname, char *envvar)
-{
-  if (name == NULL)
-    name = defaultname;
-
-  sprintf(log_line, "(Perhaps %s is for an older version of TeX)\n", name);
-  show_line(log_line, 0);
-  name_of_file[name_length + 1] = '\0';
-  sprintf(log_line, "(Alternatively, %s may have been corrupted)\n", name_of_file + 1);
-  show_line(log_line, 0);
-  name_of_file[name_length + 1] = ' ';
-  sprintf(log_line, "(Perhaps your %s environment variable is not set correctly)\n", envvar);
-  show_line(log_line, 0);
-
-  {
-    char *s;            /* extra info 99/April/28 */
-
-    if ((s = grabenv(envvar)) != NULL)
-    {
-      sprintf(log_line, "(%s=%s)\n", envvar, s);
-      show_line(log_line, 0);
-    }
-    else
-    {
-      sprintf(log_line, "%s environment variable not set\n", envvar);
-      show_line(log_line, 0);
-    }
-  }
-#ifndef _WINDOWS
-  fflush(stdout);
-#endif
-}
 /* sec 1303 */
-bool load_fmt_file (void)
+boolean load_fmt_file (void)
 {
-  register bool Result;
   integer j, k;
-  halfword p, q;
+  pointer p, q;
   integer x;
 
   undump_int(x);
 
-  if (x != BEGINFMTCHECKSUM) /* magic FMT file start 4C 20 E6 15 hex */
-    goto lab6666;
+  if (x != BEGINFMTCHECKSUM)
+    goto lab_bad_fmt;
 
   undump_int(x); /* mem_bot */
 
   if (x != mem_bot)
-    goto lab6666;
+    goto lab_bad_fmt;
 
   undump_int(x); /* mem_top */
 
@@ -1664,21 +1621,20 @@ bool load_fmt_file (void)
     exit(1);                     /* redundant sanity test ! */
 
   initialize_aux();              /* do `mem' part of initialize */
-/*  mem = zmem; */               /* update pointer to main memory */
 #endif
 
   if (x != mem_top)
-    goto lab6666;
+    goto lab_bad_fmt;
 
-  undump_int(x); /* eqtbsize */
+  undump_int(x); /* eqtb_size */
 
   if (x != (eqtb_size))
-    goto lab6666;
+    goto lab_bad_fmt;
 
   undump_int(x); /* hash_prime */
 
   if (x != hash_prime)
-    goto lab6666;
+    goto lab_bad_fmt;
 
   undump_int(x); /* hyphen_prime */
 
@@ -1689,13 +1645,13 @@ bool load_fmt_file (void)
 #endif
 
   if (x != hyphen_prime)
-    goto lab6666;
+    goto lab_bad_fmt;
 
   {
     undump_int(x); /* pool_size */
 
     if (x < 0)
-      goto lab6666
+      goto lab_bad_fmt
 
 #ifdef ALLOCATESTRING
     if (x > current_pool_size)
@@ -1705,8 +1661,10 @@ bool load_fmt_file (void)
         sprintf(log_line, "undump string pool reallocation (%d > %d)\n", x, current_pool_size);
         show_line(log_line, 0);
       }
+
       str_pool = realloc_str_pool (x - current_pool_size + increment_pool_size);
     }
+
     if (x > current_pool_size)   /* 94/Jan/24 */
 #else
     if (x > pool_size)
@@ -1714,15 +1672,17 @@ bool load_fmt_file (void)
     {
       sprintf(log_line, "%s%s\n",  "---! Must increase the ", "string pool size");
       show_line(log_line, 0);
-      goto lab6666;
+      goto lab_bad_fmt;
     }
     else
       pool_ptr = x;
   }
+
   {
     undump_int(x);  /* max_strings */
+
     if (x < 0)
-      goto lab6666;
+      goto lab_bad_fmt;
 
 #ifdef ALLOCATESTRING
     if (x > current_max_strings)
@@ -1732,8 +1692,10 @@ bool load_fmt_file (void)
         sprintf(log_line, "undump string pointer reallocation (%d > %d)\n", x, current_max_strings);
         show_line(log_line, 0);
       }
+
       str_start = realloc_str_start(x - current_max_strings + increment_max_strings);
     }
+
     if (x > current_max_strings) /* 94/Jan/24 */
 #else
     if (x > max_strings)
@@ -1741,7 +1703,7 @@ bool load_fmt_file (void)
     {
       sprintf(log_line,  "%s%s\n",  "---! Must increase the ", "max strings");
       show_line(log_line, 0);
-      goto lab6666;
+      goto lab_bad_fmt;
     }
     else
       str_ptr = x;
@@ -1749,50 +1711,39 @@ bool load_fmt_file (void)
 
   if (undumpthings(str_start[0], str_ptr + 1)) /* undump string ptrs */
     return -1;
+
   if (undumpthings(str_pool[0], pool_ptr)) /*  undump string pool */
     return -1;
 
   init_str_ptr = str_ptr;
   init_pool_ptr = pool_ptr;
-/*  undump the dynamic memory - paragraph 1312 in the book */
-  {
-    undump_int(x);
-    if ((x < lo_mem_stat_max + 1000) || (x > hi_mem_stat_min - 1))
-      goto lab6666;
-    else
-      lo_mem_max = x;
-  }
-  {
-    undump_int(x);
-    if ((x < lo_mem_stat_max + 1) || (x > lo_mem_max))
-      goto lab6666;
-    else
-      rover = x;
-  }
-  p = 0;                  /* mem_bot */
+  undump(lo_mem_stat_max + 1000, hi_mem_stat_min - 1, lo_mem_max);
+  undump(lo_mem_stat_max + 1, lo_mem_max, rover);
+  p = mem_bot;
   q = rover;
 
   do
-  {
-    if (undumpthings(mem[p], q + 2 - p))
-      return -1;
+    {
+      if (undumpthings(mem[p], q + 2 - p))
+        return -1;
 
-    p = q + node_size(q);
+      p = q + node_size(q);
 
-    if ((p > lo_mem_max) || ((q >= rlink(q)) && (rlink(q) != rover)))
-      goto lab6666;
+      if ((p > lo_mem_max) || ((q >= rlink(q)) && (rlink(q) != rover)))
+        goto lab_bad_fmt;
 
-    q = rlink(q);
-  } while (!(q == rover));
+      q = rlink(q);
+    }
+  while (!(q == rover));
 
   if (undumpthings(mem[p], lo_mem_max + 1 - p))
     return -1;
 
-  if (mem_min < mem_bot - 2)          /*  ? splice in block below */
+  if (mem_min < mem_bot - 2) /*  ? splice in block below */
   {
 /*  or call add_variable_space(mem_bot - (mem_min + 1)) */
     if (trace_flag)
-      show_line("Splicing in mem_min space in undump!\n", 0);
+      puts("Splicing in mem_min space in undump!\n");
 
     p = llink(rover);
     q = mem_min + 1;
@@ -1803,23 +1754,11 @@ bool load_fmt_file (void)
     rlink(q) = rover;
     llink(q) = p;
     link(q) = empty_flag;
-    node_size(q) = mem_bot - q;     /* ? size of block  */
+    node_size(q) = mem_bot - q;
   }
-  {
-    undump_int(x);
-    if ((x < lo_mem_max + 1) || (x > hi_mem_stat_min))
-      goto lab6666;
-    else
-      hi_mem_min = x;
-  }
-  {
-    undump_int(x);
 
-    if ((x < mem_bot) || (x > mem_top))
-      goto lab6666;
-    else
-      avail = x;
-  }
+  undump(lo_mem_max + 1, hi_mem_stat_min, hi_mem_min);
+  undump(mem_bot, mem_top, avail);
   mem_end = mem_top;
 
   if (undumpthings(mem[hi_mem_min], mem_end + 1 - hi_mem_min))
@@ -1829,79 +1768,68 @@ bool load_fmt_file (void)
   undump_int(dyn_used);
 
   k = active_base;
-  do {
-    undump_int(x);
-    if ((x < 1) || (k + x > (eqtb_size + 1)))
-      goto lab6666;
 
-    if (undumpthings(eqtb[k], x))
-      return -1;
+  do
+    {
+      undump_int(x);
 
-    k = k + x;
-    undump_int(x);
+      if ((x < 1) || (k + x > (eqtb_size + 1)))
+        goto lab_bad_fmt;
 
-    if ((x < 0) || (k + x > (eqtb_size + 1)))
-      goto lab6666;
+      if (undumpthings(eqtb[k], x))
+        return -1;
 
-    for (j = k; j <= k + x - 1; j++)
-    {
-      eqtb[j] = eqtb[k - 1];
+      k = k + x;
+      undump_int(x);
+
+      if ((x < 0) || (k + x > (eqtb_size + 1)))
+        goto lab_bad_fmt;
+
+      for (j = k; j <= k + x - 1; j++)
+        eqtb[j] = eqtb[k - 1];
+
+      k = k + x;
     }
-    k = k + x;
-  } while(!(k > (eqtb_size)));
-  {
-    undump_int(x);
-    if ((x < hash_base) || (x > (frozen_control_sequence)))  /*96/Jan/10*/
-      goto lab6666;
-    else
-      par_loc = x;
-  }
-  par_token = 4095 + par_loc;
-  {
-    undump_int(x);
-    if ((x < hash_base) || (x > (frozen_control_sequence))) /*96/Jan/10*/
-      goto lab6666;
-    else
-      write_loc = x;
-  }
-  {
-    undump_int(x);
-    if ((x < hash_base) || (x > (frozen_control_sequence))) /*96/Jan/10*/
-      goto lab6666;
-    else
-      hash_used = x;
-  }
+  while (!(k > eqtb_size));
+
+  undump(hash_base, frozen_control_sequence, par_loc);
+  par_token = cs_token_flag + par_loc;
+  undump(hash_base, frozen_control_sequence, write_loc);
+  undump(hash_base, frozen_control_sequence, hash_used);
+
   p = hash_base - 1;
-  do {
+
+  do
     {
-      undump_int(x);
-      if ((x < p + 1) || (x > hash_used))
-        goto lab6666;
-      else
-        p = x;
+      undump(p + 1, hash_used, p);
+      undump_hh(hash[p]);
     }
-    undump_hh(hash[p]);
-  } while (!(p == hash_used));
+  while (!(p == hash_used));
 
-  if (undumpthings(hash[hash_used + 1], (undefined_control_sequence - 1) - hash_used))
+  if (undumpthings(hash[hash_used + 1], undefined_control_sequence - 1 - hash_used))
     return -1;
 
-  undump_int(cs_count);     /* cs_count */
+  undump_int(cs_count);
+
   if (trace_flag)
   {
-    sprintf(log_line, "itex undump cs_count %d ", cs_count); /* debugging */
+    sprintf(log_line, "itex undump cs_count %d ", cs_count);
     show_line(log_line, 0);
   }
+
   {
     undump_int(x);        /* font_mem_size */
+
     if (x < 7)
-      goto lab6666;
+      goto lab_bad_fmt;
+
 #ifdef ALLOCATEFONT
     if (trace_flag)
     {
       sprintf(log_line, "Read from fmt fmem_ptr = %d\n", x);
       show_line(log_line, 0);
     }
+
     if (x > current_font_mem_size) /* 93/Nov/28 dynamic allocate font_info */
     {
       if (trace_flag)
@@ -1909,8 +1837,10 @@ bool load_fmt_file (void)
         sprintf(log_line, "Undump realloc font_info (%d > %d)\n", x, current_font_mem_size);
         show_line(log_line, 0);
       }
+
       font_info = realloc_font_info (x - current_font_mem_size + increment_font_mem_size);
     }
+
     if (x > current_font_mem_size)  /* in case allocation failed 94/Jan/24 */
 #else
     if (x > font_mem_size)
@@ -1918,72 +1848,100 @@ bool load_fmt_file (void)
     {
       sprintf(log_line, "%s%s\n",  "---! Must increase the ", "font mem size");
       show_line(log_line, 0);
-      goto lab6666;
+      goto lab_bad_fmt;
     }
     else
       fmem_ptr = x;
   }
+
   {
     if (undumpthings(font_info[0], fmem_ptr))
       return -1;
+
     {
       undump_int(x); /* font_max */
+
       if (x < 0)
-        goto lab6666;
+        goto lab_bad_fmt;
+
       if (x > font_max)
       {
         sprintf(log_line, "%s%s\n",  "---! Must increase the ", "font max"); 
         show_line(log_line, 0);
-        goto lab6666;
+        goto lab_bad_fmt;
       }
       else
         font_ptr = x;
     }
-    frozenfontptr = font_ptr; /* remember number of fonts frozen into format */
+
+    frozen_font_ptr = font_ptr; /* remember number of fonts frozen into format */
+
     if (undumpthings(font_check[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_size[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_dsize[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_params[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(hyphen_char[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(skew_char[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_name[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_area[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_bc[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_ec[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(char_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(width_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(height_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(depth_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(italic_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(lig_kern_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(kern_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(exten_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(param_base[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_glue[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(bchar_label[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_bchar[0], font_ptr + 1))
       return -1;
+
     if (undumpthings(font_false_bchar[0], font_ptr + 1))
       return -1;
   }
@@ -1994,72 +1952,46 @@ bool load_fmt_file (void)
 
 #ifdef ALLOCATEFONT
 /* deal with fmt files dumped with *different* font_mem_size 93/Nov/29 */
- {
-   int count = 0, oldfont_mem_size = 0;
-
-   for (x = 0; x <= font_ptr; x++)
-   {
-     if (bchar_label[x] > oldfont_mem_size)
-       oldfont_mem_size = bchar_label[x];
-   }
-
-/* somewhat arbitrary sanity check ... */
-/* if (oldfont_mem_size != font_mem_size && oldfont_mem_size > font_max) { */
-   if (oldfont_mem_size != non_address && oldfont_mem_size > font_max) /* 96/Jan/16 */
-   {
-     for (x = 0; x <= font_ptr; x++)
-     {
-       if (bchar_label[x] == oldfont_mem_size)
-       {
-         /* bchar_label[x] = font_mem_size; */
-         bchar_label[x] = non_address;  /* 96/Jan/16 */
-         count++;
-       }
-     }
-     if (trace_flag)
-     {
-       sprintf(log_line, "oldfont_mem_size is %d --- hit %d times. Using non_address %d\n",
-           oldfont_mem_size, count, non_address);
-       show_line(log_line, 0);
-     }
-   }
- }
-#endif
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
-/* undump(0)(hyph_size)(hyph_count); */
-  {
-    undump_int(x);
-
-    if ((x < 0) || (x > hyphen_prime))
-      goto lab6666;
-    else
-      hyph_count = x;
-  }
-/* undump hypenation exception tables p.1325 */
-  for (k = 1; k <= hyph_count; k++)
   {
+    int count = 0, oldfont_mem_size = 0;
+    
+    for (x = 0; x <= font_ptr; x++)
     {
-      undump_int(x);
-      if ((x < 0) || (x > hyphen_prime))
-        goto lab6666;
-      else
-        j = x;
-    }
-    {
-      undump_int(x);
-      if ((x < 0) || (x > str_ptr))
-        goto lab6666;
-      else
-        hyph_word[j] = x;
+      if (bchar_label[x] > oldfont_mem_size)
+        oldfont_mem_size = bchar_label[x];
     }
+     
+    /* somewhat arbitrary sanity check ... */
+    if (oldfont_mem_size != non_address && oldfont_mem_size > font_max) /* 96/Jan/16 */
     {
-      undump_int(x);
-      if ((x < 0) || (x > max_halfword)) /* mem_top ? no p.1325 */
-        goto lab6666;
-      else
-        hyph_list[j] = x;
+      for (x = 0; x <= font_ptr; x++)
+      {
+        if (bchar_label[x] == oldfont_mem_size)
+        {
+          /* bchar_label[x] = font_mem_size; */
+          bchar_label[x] = non_address;  /* 96/Jan/16 */
+          count++;
+        }
+      }
+
+      if (trace_flag)
+      {
+        sprintf(log_line, "oldfont_mem_size is %d --- hit %d times. Using non_address %d\n",
+            oldfont_mem_size, count, non_address);
+        show_line(log_line, 0);
+      }
     }
   }
+#endif
+
+  undump(0, hyphen_prime, hyph_count);
+
+  for (k = 1; k <= hyph_count; k++)
+  {
+    undump(0, hyphen_prime, j);
+    undump(0, str_ptr, hyph_word[j]);
+    undump(0, max_halfword, hyph_list[j]);
+  }
 
 #ifdef ALLOCATEHYPHEN
 /* if user specified new hyphen prime - flush existing exception patterns ! */
@@ -2076,8 +2008,9 @@ bool load_fmt_file (void)
 
   {
     undump_int(x);
+
     if (x < 0)
-      goto lab6666;
+      goto lab_bad_fmt;
 
 #ifdef ALLOCATETRIES
     if (!is_initex)
@@ -2091,116 +2024,99 @@ bool load_fmt_file (void)
     {
       sprintf(log_line, "%s%s\n",  "---! Must increase the ", "trie size");
       show_line(log_line, 0);
-      goto lab6666;
+      goto lab_bad_fmt;
     }
     else
       j = x;
   }
+
 #ifdef INITEX
-  if (is_initex) /* bkph */
+  if (is_initex)
     trie_max = j;
-#endif /* INITEX */
+#endif
+
   if (undumpthings(trie_trl[0], j + 1))
     return -1;
+
   if (undumpthings(trie_tro[0], j + 1))
     return -1;
+
   if (undumpthings(trie_trc[0], j + 1))
     return -1;
+
   {
     undump_int(x);
+
     if (x < 0)
-      goto lab6666;
+      goto lab_bad_fmt;
+
     if (x > trie_op_size)
     {
       sprintf(log_line, "%s%s\n",  "---! Must increase the ", "trie op size");
       show_line(log_line, 0);
-      goto lab6666;
+      goto lab_bad_fmt;
     }
     else
       j = x;
   }
 
 #ifdef INITEX
-  if (is_initex)   /* bkph */
+  if (is_initex)
     trie_op_ptr = j;
-#endif /* INITEX */
+#endif
   
   if (undumpthings(hyf_distance[1], j))
     return -1;
+
   if (undumpthings(hyf_num[1], j))
     return -1;
+
   if (undumpthings(hyf_next[1], j))
     return -1;
 
 #ifdef INITEX
-  if (is_initex)    /* bkph */
+  if (is_initex)
   {
     for (k = 0; k <= 255; k++)
-    {
-        trie_used[k] = 0;
-    }
+      trie_used[k] = min_quarterword;
   }
-#endif /* INITEX */
+#endif
+
   k = 256;
-  while (j > 0) {
-    {
-      undump_int(x);
-      if ((x < 0) || (x > k - 1))
-        goto lab6666;
-      else
-        k = x;
-    }
-    {
-      undump_int(x);
-      if ((x < 1) || (x > j))
-        goto lab6666;
-      else
-        x = x;
-    }
+
+  while (j > 0)
+  {
+    undump(0, k - 1, k);
+    undump(1, j, x);
+
 #ifdef INITEX
-    if (is_initex)          /* bkph */
+    if (is_initex)
       trie_used[k] = x;
-#endif /* INITEX */
-/*   j:=j-x; op_start[k]:=qo(j); */
+#endif
+
     j = j - x;
     op_start[k] = j;
   }
+
 #ifdef INITEX
-  if (is_initex)          /* bkph */
+  if (is_initex)
     trie_not_ready = false;
-#endif /* INITEX */
-  {
-    undump_int(x);
-    if ((x < batch_mode) || (x > error_stop_mode))
-      goto lab6666;
-/*    else interaction = x;  */
-    if (interaction < batch_mode)    /* may now set in local.c bkph 94/Jan/8 */
-      interaction = x;
-  }
-  {
-    undump_int(x);
-    if ((x < 0) || (x > str_ptr))
-      goto lab6666;
-    else
-      format_ident = x;
-  }
+#endif
+
+  undump(batch_mode, error_stop_mode, interaction);
+  undump(0, str_ptr, format_ident);
   undump_int(x);
-/*  test_eof(fmt_file)? */
   
-  if ((x != ENDFMTCHECKSUM) || feof(fmt_file)) /* magic checksum --- change ? */
-    goto lab6666;
+  if ((x != ENDFMTCHECKSUM) || feof(fmt_file))
+    goto lab_bad_fmt;
 
-  Result = true;
-  return(Result);
+  return true;
 
-lab6666:;
+lab_bad_fmt:;
   sprintf(log_line, "(Fatal format file error; I'm stymied)\n");
   show_line(log_line, 1);
-/* added following bit of explanation 96/Jan/10 */
-  if (!knuth_flag)
-    bad_formator_pool(format_file, "the format file", "TEXFORMATS");
-  Result = false;
-  return Result;
+
+  return false;
 }
 /* sec 1335 */
 void final_cleanup (void)
@@ -2214,7 +2130,7 @@ void final_cleanup (void)
 
   while (input_ptr > 0)
   {
-    if (cur_input.state_field == 0)
+    if (state == 0)
     {
       end_token_list();
     }
@@ -2254,7 +2170,7 @@ void final_cleanup (void)
     if_line = mem[cond_ptr + 1].cint;
     cur_if = mem[cond_ptr].hh.b1;
     temp_ptr = cond_ptr;
-    cond_ptr = mem[cond_ptr].hh.v.RH;
+    cond_ptr = mem[cond_ptr].hh.rh;
     free_node(temp_ptr, 2);
   }
 
@@ -2282,8 +2198,9 @@ void final_cleanup (void)
         delete_glue_ref(last_glue);
       store_fmt_file(); // returns a value ?
     }
-#endif /* INITEX */
-    if (!is_initex)       /* 2000/March/3 */
+#endif
+
+    if (!is_initex)
       print_nl("(\\dump is performed only by INITEX)");
   }
 }
@@ -2314,21 +2231,13 @@ void show_frozen (void)
   fprintf(log_file, ") ");
 }
 
-/* Main entry point called from texmf.c int main(int ac, char *av[]) */
-/* call from main_program in texmf.c */
-/* This in turn calls initialize() */
-
-#pragma warning(disable:4127)   // conditional expression is constant
-
-int texbody (void)
+int main_program (void)
 {
-  history = 3;
-
-  //set_paths(TEXFORMATPATHBIT + TEXINPUTPATHBIT + TFMFILEPATHBIT);
+  history = fatal_error_stop;
 
-  if (ready_already == 314159L) /* magic number */
+  if (ready_already == 314159L)
     goto lab1;
-/*  These tests are almost all compile time tests and so could be eliminated */
+
   bad = 0;
 
   if ((half_error_line < 30) || (half_error_line > error_line - 15))
@@ -2340,17 +2249,17 @@ int texbody (void)
   if (dvi_buf_size % 8 != 0)
     bad = 3;
 
-  if (1100 > mem_top)
-    bad = 4;   /* not compile time */
+  if (mem_bot + 1100 > mem_top)
+    bad = 4;
 
   if (hash_prime > (hash_size + hash_extra))
     bad = 5;
 
   if (max_in_open >= 128)
-    bad = 6;   /* p.14 */
+    bad = 6;
 
-  if (mem_top < 267)
-    bad = 7;    /* where from ? *//* not compile time */
+  if (mem_top < 256 + 11)
+    bad = 7;
 
 #ifdef INITEX
   if (is_initex)
@@ -2374,16 +2283,15 @@ int texbody (void)
 
   if ((mem_min < min_halfword) || (mem_max >= max_halfword) || (mem_bot - mem_min >= max_halfword))
     bad = 14;
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
-  if (mem_max > mem_top + mem_extra_high)     /* not compile time */
-    bad = 14;       /* ha ha */
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
-/*  if ((0 < 0)||(font_max > 255)) */
-  if ((0 < min_quarterword) || (font_max > max_quarterword))  /* 93/Dec/3 */
+
+  if (mem_max > mem_top + mem_extra_high)
+    bad = 14;
+
+  if ((0 < min_quarterword) || (font_max > max_quarterword))
     bad = 15;
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
+
 #ifdef INCREASEFONTS
-  if (font_max > 1024)                /* 96/Jan/17 */
+  if (font_max > 1024)
 #else
   if (font_max > 256)
 #endif
@@ -2401,9 +2309,9 @@ int texbody (void)
   if (cs_token_flag + undefined_control_sequence > max_halfword)
     bad = 21;
 
-  if (format_default_length > PATHMAX)
+  if (format_default_length > file_name_size)
     bad = 31;
-/*  if (2 * 262143L < mem_top - mem_min) */
+
   if (max_halfword < (mem_top - mem_min) / 2)
     bad = 41;
 
@@ -2413,10 +2321,7 @@ int texbody (void)
         "---case ", (long) bad);
     show_line(log_line, 1);
 
-    if (!knuth_flag)
-      bad_formator_pool(format_file, "the format file", "TEXFORMATS");  /* 96/Jan/17 */
-
-    goto lab9999;     // abort
+    goto lab9999;
   }
 
   initialize();
@@ -2425,7 +2330,7 @@ int texbody (void)
   if (is_initex)
   {
     if (!get_strings_started())
-      goto lab9999;   // abort
+      goto lab9999;
 
     init_prim();
     init_str_ptr = str_ptr;
@@ -2434,7 +2339,7 @@ int texbody (void)
   }
 #endif
 
-  ready_already = 314159L;      /* magic number */
+  ready_already = 314159L;
 
 lab1:
   selector = term_only;
@@ -2442,11 +2347,19 @@ lab1:
   term_offset = 0;
   file_offset = 0;
   show_line(tex_version, 0);
-#ifdef _M_AMD64
-  sprintf(log_line, " (%s %s/x64)", application, yandyversion);
+
+  {
+#ifdef _WIN32
+  #ifdef _WIN64
+    sprintf(log_line, " (%s %s/Windows 64bit)", application, yandyversion);
+  #else
+    sprintf(log_line, " (%s %s/Windows 32bit)", application, yandyversion);
+  #endif
 #else
-  sprintf(log_line, " (%s %s/x86)", application, yandyversion);
+    sprintf(log_line, " (%s %s/Linux)", application, yandyversion);
 #endif
+  }
+
   show_line(log_line, 0);
 
   if (format_ident > 0)
@@ -2468,9 +2381,9 @@ lab1:
       input_ptr = 0;
       max_in_stack = 0;
       in_open = 0;
-      high_in_open = 0; /* max_in_open name already used 1999 Jan 17 */
+      high_in_open = 0;
       open_parens = 0;
-      max_open_parens = 0;  /* max_open_parens */
+      max_open_parens = 0;
       max_buf_stack = 0;
       param_ptr = 0;
       max_param_stack = 0;
@@ -2481,87 +2394,89 @@ lab1:
       memset (buffer, 0, buf_size);
 #endif
 
-      first = 0;              /* 1999/Jan/22 */
+      first = 0;
       scanner_status = 0;
-      warning_index = 0; /* warning_index:=null; l.7068 */
+      warning_index = 0;
       first = 1;
-      cur_input.state_field = 33;
-      cur_input.start_field = 1;
-      cur_input.index_field = 0;
+      state = new_line;
+      start = 1;
+      index = 0;
       line = 0;
       cur_input.name_field = 0;
       force_eof = false;
       align_state = 1000000L;
 
       if (!init_terminal())
-        goto lab9999; // abort
+        goto lab9999;
 
-      cur_input.limit_field = last;
+      limit = last;
       first = last + 1;
     }
-
-/*    For Windows NT, lets allow + instead of & for format specification */
+    
     if ((format_ident == 0) ||
-        (buffer[cur_input.loc_field] == '&') ||
-        (buffer[cur_input.loc_field] == '+'))
+        (buffer[loc] == '&') ||
+        (buffer[loc] == '+'))
     {
       if (format_ident != 0)
         initialize();
 
       if (!open_fmt_file ())
-        goto lab9999; // abort
+        goto lab9999;
 
       if (!load_fmt_file ())
       {
+#ifdef COMPACTFORMAT
+        gzclose(gz_fmt_file);
+#else
         w_close(fmt_file);
-        goto lab9999; // abort
+#endif
+        goto lab9999;
       }
 
+#ifdef COMPACTFORMAT
+      gzclose(gz_fmt_file);
+#else
       w_close(fmt_file);
+#endif
 
-      while ((cur_input.loc_field < cur_input.limit_field) &&
-          (buffer[cur_input.loc_field] == ' '))
-        incr(cur_input.loc_field);
+      while ((loc < limit) &&
+          (buffer[loc] == ' '))
+        incr(loc);
     }
 
     if ((end_line_char < 0) || (end_line_char > 255))
-      decr(cur_input.limit_field);
+      decr(limit);
     else
-      buffer[cur_input.limit_field] = end_line_char;
+      buffer[limit] = end_line_char;
 
     fix_date_and_time();
-
-    magic_offset = str_start[886] - 9 * ord_noad;  /* following: */
-/*  "0234000122*4000133**3**344*0400400*000000234000111*1111112341011" */
+    magic_offset = str_start[886] - 9 * ord_noad;
 
     if (interaction == batch_mode)
       selector = no_print;
     else
       selector = term_only;
 
-    if ((cur_input.loc_field < cur_input.limit_field) &&
-      (cat_code(buffer[cur_input.loc_field]) != escape))
+    if ((loc < limit) &&
+      (cat_code(buffer[loc]) != escape))
       start_input();
   }
 
-/*  show font TFMs frozen into format file */
-/*  moved here after start_input to ensure the log file is open */
-  if (show_tfm_flag && log_opened && font_ptr > 0)    /* 98/Sep/28 */
+  if (show_tfm_flag && log_opened && font_ptr > 0)
     show_frozen();
 
   main_time = clock();
-  history = 0;
+  history = spotless;
 
   if (show_cs_names)
-    print_cs_names(stdout, 0);    /* 98/Mar/31 */
+    print_cs_names(stdout, 0);
 
-  main_control();     /* read-eval-print loop :-) in tex8.c */
+  main_control();
 
   if (show_cs_names)
-    print_cs_names(stdout, 1);    /* 98/Mar/31 */
+    print_cs_names(stdout, 1);
 
   final_cleanup();
-
   close_files_and_terminate();
 
 lab9999:
@@ -2585,7 +2500,6 @@ lab9999:
 
 #ifdef ALLOCATEMAIN
 /* add a block of variable size node space below mem_bot */
-/* used in tex0.c, local.c, itex.c */
 void add_variable_space(int size)
 {
   halfword p;
@@ -2593,7 +2507,7 @@ void add_variable_space(int size)
   integer t;
 
   if (mem_min == 0)
-    t = mem_min;  /* bottom of present block */
+    t = mem_min;
   else
     t = mem_min + 1;
 
@@ -2602,21 +2516,21 @@ void add_variable_space(int size)
   if (mem_min < mem_start)      /* sanity test */
   {
     if (trace_flag)
-      show_line("WARNING: mem_min < mem_start!\n", 0);
+      puts("WARNING: mem_min < mem_start!\n");
 
     mem_min = mem_start;
   }
 
-  p = mem[rover + 1].hh.v.LH;
+  p = llink(rover);
   q = mem_min + 1;
-  mem[mem_min].hh.v.RH = 0; /* insert blank word below ??? */
-  mem[mem_min].hh.v.LH = 0; /* insert blank word below ??? */
-  mem[p + 1].hh.v.RH = q;
-  mem[rover + 1].hh.v.LH = q;
-  mem[q + 1].hh.v.RH = rover;
-  mem[q + 1].hh.v.LH = p;
-  mem[q].hh.v.RH = empty_flag;
-  mem[q].hh.v.LH = t - q; /* block size */
+  link(mem_min) = 0; /* insert blank word below ??? */
+  info(mem_min) = 0; /* insert blank word below ??? */
+  rlink(p) = q;
+  llink(rover) = q;
+  rlink(q) = rover;
+  llink(q) = p;
+  link(q) = empty_flag;
+  info(q) = t - q; /* block size */
   rover = q;
 }
 #endif
@@ -2651,7 +2565,7 @@ void reset_hyphen (void)
   for (z = 0; z <= hyphen_prime; z++)
   {
     hyph_word[z] = 0;
-    hyph_list[z] = 0; /* hyph_list[z]:=null; l.18131 */
+    hyph_list[z] = 0;
   }
 
   hyph_count = 0;
@@ -2810,7 +2724,7 @@ void do_initex (void)
   cs_count = 0;
 
   if (trace_flag)
-    show_line("initex cs_count = 0 ", 0);
+    puts("initex cs_count = 0 ");
 
   eq_type(frozen_dont_expand) = dont_expand;
   text(frozen_dont_expand) = 499;  /* notexpanded */
@@ -2839,10 +2753,11 @@ void do_initex (void)
   font_glue[null_font]        = 0;
   font_params[null_font]      = 7;
   param_base[null_font]       = -1;
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***  */
-  reset_trie();         /* shared 93/Nov/26 */
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***  */
 
+  for (k = 0; k <= 6; k++)
+    font_info[k].cint = 0;
+
+  reset_trie();
   text(frozen_protection) = 1184; /* "inaccessible" */
   format_ident = 1251;
   text(end_write) = 1290;
@@ -2850,11 +2765,11 @@ void do_initex (void)
   eq_type(end_write) = outer_call;
   equiv(end_write) = 0;
 }
-#endif /* INITEX */
+#endif
 
 #ifdef INITEX
 /* sec 0047 */
-bool get_strings_started (void)
+boolean get_strings_started (void)
 {
   integer k;
   str_number g;
@@ -2903,8 +2818,8 @@ bool get_strings_started (void)
 /* sec 0131 */
 void sort_avail (void)
 {
-  halfword p, q, r;
-  halfword old_rover;
+  pointer p, q, r;
+  pointer old_rover;
 
   p = get_node(1073741824L); /* 2^30 merge adjacent free nodes */
   p = rlink(rover);
@@ -2945,24 +2860,9 @@ void sort_avail (void)
   rlink(p) = rover;
   llink(rover) = p;
 }
-#endif /* INITEX */
+#endif
 
 #ifdef INITEX
-str_number make_string_pool (char *s)
-{
-  int slen = strlen(s);
-
-  if (slen == 1)
-  {
-    return ((str_number)s[0]);
-  }
-  else
-  {
-    memcpy(str_pool + pool_ptr, s, slen);
-    pool_ptr += slen;
-    return (make_string());
-  }
-}
 /* sec 0264 */
 void primitive_ (str_number s, quarterword c, halfword o)
 { 
@@ -2986,7 +2886,7 @@ void primitive_ (str_number s, quarterword c, halfword o)
 
 #ifdef SHORTHASH
     if (s > 65535L)
-      show_line("ERROR: hash entry too large\n", 1);
+      puts("ERROR: hash entry too large\n");
 #endif
 
     text(cur_val) = s;
@@ -3120,7 +3020,6 @@ void first_fit_ (trie_pointer p)
     {
       if (trie_size <= h + 256)
       {
-        /* pattern memory - NOT DYNAMIC */
         overflow("pattern memory", trie_size);
 /*      not dynamic ---- but can be set -h=... from command line in ini-TeX */
         return;     // abort_flag set
@@ -3158,28 +3057,33 @@ lab40:
   trie_hash[p] = h;
   q = p;
 
-  do {
-    z = h + trie_c[q];
-    l = trie_tro[z];
-    r = trie_trl[z];
-    trie_tro[r] = l;
-    trie_trl[l] = r;
-    trie_trl[z] = 0;
-
-    if (l < 256)
+  do
     {
-      if (z < 256)
-        ll = z;         /* short ll */
-      else
-        ll = 256;
+      z = h + trie_c[q];
+      l = trie_tro[z];
+      r = trie_trl[z];
+      trie_tro[r] = l;
+      trie_trl[l] = r;
+      trie_trl[z] = 0;
+
+      if (l < 256)
+      {
+        if (z < 256)
+          ll = z;         /* short ll */
+        else
+          ll = 256;
 
-      do {
-        trie_min[l] = r;
-        incr(l);
-      } while (!(l == ll));
+        do
+          {
+            trie_min[l] = r;
+            incr(l);
+          }
+        while (!(l == ll));
+      }
+
+      q = trie_r[q];
     }
-    q = trie_r[q];
-  } while (!(q == 0));
+  while (!(q == 0));
 }
 /* sec 0957 */
 void trie_pack_ (trie_pointer p)
@@ -3198,7 +3102,7 @@ void trie_pack_ (trie_pointer p)
 
       p = trie_r[p];
     }
-  while(!(p == 0));
+  while (!(p == 0));
 }
 /* sec 0959 */
 void trie_fix_ (trie_pointer p)
@@ -3222,7 +3126,7 @@ void trie_fix_ (trie_pointer p)
 
       p = trie_r[p];
     }
-  while(!(p == 0));
+  while (!(p == 0));
 }
 /* sec 0960 */
 void new_patterns (void)
@@ -3231,10 +3135,10 @@ void new_patterns (void)
 /*  was small_number k, l;  in 3.141 */
   char k, l;
 /* ******************************************************************* */
-  bool digitsensed;
+  boolean digitsensed;
   trie_op_code v;
   trie_pointer p, q;
-  bool firstchild;
+  boolean firstchild;
 /*  ASCII_code c;  */
   int c;                /* 95/Jan/7 */
 
@@ -3243,14 +3147,14 @@ void new_patterns (void)
     if (allow_patterns)
     {
       if (trace_flag)
-        show_line("Resetting patterns\n", 0);
+        puts("Resetting patterns\n");
 
       reset_trie();         /* RESET PATTERNS -  93/Nov/26 */
 
       if (reset_exceptions)
       {
         if (trace_flag)
-          show_line("Resetting exceptions\n", 0);
+          puts("Resetting exceptions\n");
 
         reset_hyphen();     /* RESET HYPHENEXCEPTIONS -  93/Nov/26 */
       }
@@ -3499,8 +3403,9 @@ void init_trie (void)
 
         r = s;
       }
-    while(!(r > trie_max));
+    while (!(r > trie_max));
   }
+
   trie_trc[0] = 63;
   trie_not_ready = false;
 }
@@ -3511,15 +3416,15 @@ void init_trie (void)
 void store_fmt_file (void)
 {
   integer j, k, l;
-  halfword p, q;
+  pointer p, q;
   integer x;
 
-  if (!is_initex)   /* redundant check 94/Feb/14 */
+  if (!is_initex)
   {
-    show_line("! \\dump is performed only by INITEX\n", 1);
+    puts("! \\dump is performed only by INITEX\n");
 
-    if (! knuth_flag)
-      show_line("  (Use -i on the command line)\n", 0);
+    if (!knuth_flag)
+      puts("  (Use -i on the command line)\n");
 
     abort_flag++;
     return;
@@ -3552,7 +3457,7 @@ void store_fmt_file (void)
   format_ident = make_string();
   pack_job_name(".fmt");
 
-  while(!w_open_out(fmt_file))
+  while (!w_open_out(fmt_file))
   {
     prompt_file_name("format file name", ".fmt");
   }
@@ -3563,14 +3468,12 @@ void store_fmt_file (void)
   print_nl("");
   slow_print(format_ident);
 
-  dump_int(BEGINFMTCHECKSUM); /* magic FMT file start 4C 20 E6 15 hex */
-
+  dump_int(BEGINFMTCHECKSUM);
   dump_int(mem_bot);
   dump_int(mem_top);
   dump_int(eqtb_size);
   dump_int(hash_prime);
-  dump_int(hyphen_prime);   /* bkph */
-
+  dump_int(hyphen_prime);
   dump_int(pool_ptr);
   dump_int(str_ptr);
 
@@ -3600,8 +3503,8 @@ void store_fmt_file (void)
 
       x = x + q + 2 - p;
       var_used = var_used + q - p;
-      p = q + mem[q].hh.v.LH;
-      q = mem[q + 1].hh.v.RH;
+      p = q + node_size(q);
+      q = rlink(q);
     }
   while (!(q == rover));
 
@@ -3613,7 +3516,7 @@ void store_fmt_file (void)
 
   x = x + lo_mem_max + 1 - p;
   dump_int(hi_mem_min);
-  dump_int(avail);
+  dump_int(avail); 
 
   if (dumpthings(mem[hi_mem_min], mem_end + 1 - hi_mem_min))
     return;
@@ -3624,7 +3527,7 @@ void store_fmt_file (void)
   while (p != 0)
   {
     decr(dyn_used);
-    p = mem[p].hh.v.RH;
+    p = mem[p].hh.rh;
   }
 
   dump_int(var_used);
@@ -3637,6 +3540,7 @@ void store_fmt_file (void)
   print_int(dyn_used);
 
   k = active_base;
+
   do
     {
       j = k;
@@ -3674,30 +3578,39 @@ lab31:
     }
   while (!(k == (int_base)));
 
-  do {
-    j = k;
-    while (j < (eqtb_size)) {
-      if (eqtb[j].cint == eqtb[j + 1].cint)
-        goto lab42;
-      incr(j);
-    }
-    l = (eqtb_size + 1);
-    goto lab32;
+  do
+    {
+      j = k;
+
+      while (j < (eqtb_size))
+      {
+        if (eqtb[j].cint == eqtb[j + 1].cint)
+          goto lab42;
+        incr(j);
+      }
+
+      l = (eqtb_size + 1);
+      goto lab32;
 lab42:
-    incr(j);
-    l = j;
-    while (j < (eqtb_size)) {
-      if (eqtb[j].cint != eqtb[j + 1].cint)
-        goto lab32;
       incr(j);
-    }
+      l = j;
+
+      while (j < (eqtb_size))
+      {
+        if (eqtb[j].cint != eqtb[j + 1].cint)
+          goto lab32;
+        incr(j);
+      }
 lab32:
-    dump_int(l - k);
-    if (dumpthings(eqtb[k], l - k))
-      return;
-    k = j + 1;
-    dump_int(k - l);
-  } while (!(k > (eqtb_size)));
+      dump_int(l - k);
+
+      if (dumpthings(eqtb[k], l - k))
+        return;
+
+      k = j + 1;
+      dump_int(k - l);
+    }
+  while (!(k > (eqtb_size)));
 
   dump_int(par_loc);
   dump_int(write_loc);
@@ -3714,7 +3627,7 @@ lab32:
 
   for (p = hash_base; p <= hash_used; p++)
   {
-    if (hash[p].v.RH != 0)
+    if (text(p) != 0)
     {
       dump_int(p);
       dump_hh(hash[p]);
@@ -3723,14 +3636,12 @@ lab32:
       if (trace_flag)
       {
         sprintf(log_line, "itex cs_count++ ");
-        show_line(log_line, 0); /* debugging */
+        show_line(log_line, 0);
       }
-
     }
   }
-/*  ??? */
-/* for p <- hash_used+1 to undefined_control_sequence-1 do dump_hh(hash[p]) */
-  if (dumpthings(hash[hash_used + 1], (hash_size + 780) - hash_used))
+
+  if (dumpthings(hash[hash_used + 1], undefined_control_sequence - 1 - hash_used))
     return;
 
   dump_int(cs_count);
@@ -3739,6 +3650,7 @@ lab32:
   print_string(" multiletter control sequences");
 
   dump_int(fmem_ptr);
+
   {
     if (dumpthings(font_info[0], fmem_ptr))
       return;
@@ -3817,9 +3729,8 @@ lab32:
     for (k = 0; k <= font_ptr; k++)
     {
       print_nl("\\font");
-/*  print_esc(hash[(hash_size + 524) + k].v.RH);  */
-/*  print_esc(hash[(hash_size + hash_extra + 524) + k].v.RH); */
-      print_esc("");print(hash[(hash_size + hash_extra + 524) + k].v.RH);
+      print_esc("");
+      print(font_id_text(k));
       print_char('=');
       print_file_name(font_name[k], font_area[k], 335);
 
@@ -3909,14 +3820,19 @@ lab32:
       dump_int(trie_used[k]);
     }
   }
+
   dump_int(interaction);
   dump_int(format_ident);
-  dump_int(ENDFMTCHECKSUM); /* magic checksum end of FMT file --- change ??? */ 
+  dump_int(ENDFMTCHECKSUM);
   tracing_stats = 0;
 
+#ifdef COMPACTFORMAT
+  gzclose(gz_fmt_file);
+#else
   w_close(fmt_file);
+#endif
 }
-#endif /* INITEX */
+#endif
 
 #ifdef INITEX
 /* sec 01336 */