OSDN Git Service

updated with TeX Live 2014.
[putex/putex.git] / src / texsourc / itex.c
index 74f5067..87c35d0 100644 (file)
@@ -109,15 +109,12 @@ void initialize (void)
 
     if (flag)
     {
-      show_line("Inverted mapping xord[] pairs:\n", 0);
+      puts("Inverted mapping xord[] pairs:");
 
       for (k = 0; k < 256; k++)
       {
         if (xord[k] != 127)
-        {
-          sprintf(log_line, "%d => %d\n", k, xord[k]);
-          show_line(log_line, 0);
-        }
+          printf("%lld => %d\n", k, xord[k]);
       }
     }
   }
@@ -135,10 +132,8 @@ void initialize (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
 
@@ -147,7 +142,7 @@ void initialize (void)
   mode = 1;
   head = contrib_head;
   tail = contrib_head;
-  cur_list.aux_field.cint = ignore_depth;
+  prev_depth = ignore_depth;
   mode_line = 0;
   prev_graf = 0;
   shown_mode = 0;
@@ -224,8 +219,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;
@@ -237,7 +232,6 @@ void initialize (void)
   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++)
@@ -280,18 +274,17 @@ 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;
   head = contrib_head;
   tail = contrib_head;
-  cur_list.aux_field.cint = ignore_depth;
+  prev_depth = ignore_depth;
   mode_line = 0;
   prev_graf = 0;
 /*  shown_mode = 0; */
@@ -303,27 +296,22 @@ void initialize_aux (void)
 /* sec 0815 */
 void line_break_ (integer final_widow_penalty)
 {
-  bool auto_breaking;
-  halfword prevp;
-  halfword q, r, s, prevs;
+  boolean auto_breaking;
+  pointer prev_p;
+  pointer q, r, s, prev_s;
   internal_font_number f;
-/*  small_number j;  */
-  int j;                /* 95/Jan/7 */
-/*  unsigned char c;  */
-  unsigned int c;           /* 95/Jan/7 */
-/*  savedbadness = 0; */    /* 96/Feb/9 */
+  /* small_number j; */
+  int j;
+  /* unsigned char c; */
+  unsigned int c;
 
   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;
@@ -338,17 +326,8 @@ void line_break_ (integer final_widow_penalty)
   init_r_hyf = (prev_graf / 65536L) % 64;
   pop_nest();
   no_shrink_error_yet = true;
-
-  if ((shrink_order(left_skip) != normal) && (shrink(left_skip) != 0))
-  {
-    left_skip = finite_shrink(left_skip);
-  }
-
-  if ((shrink_order(right_skip) != normal) && (shrink(right_skip) != 0))
-  {
-    right_skip = finite_shrink(right_skip);
-  }
-
+  check_shrinkage(left_skip);
+  check_shrinkage(right_skip);
   q = left_skip;
   r = right_skip;
   background[1] = width(q) + width(r);
@@ -359,12 +338,11 @@ void line_break_ (integer final_widow_penalty)
   background[2 + stretch_order(q)] = stretch(q);
   background[2 + stretch_order(r)] = background[2 + stretch_order(r)] + stretch(r);
   background[6] = shrink(q) + shrink(r);
-
-  minimum_demerits = 1073741823L; /* 2^30 - 1 *//* 40000000 hex - 1 */
-  minimal_demerits[tight_fit] = 1073741823L;
-  minimal_demerits[decent_fit] = 1073741823L;
-  minimal_demerits[loose_fit] = 1073741823L;
-  minimal_demerits[very_loose_fit] = 1073741823L;
+  minimum_demerits = awful_bad;
+  minimal_demerits[tight_fit] = awful_bad;
+  minimal_demerits[decent_fit] = awful_bad;
+  minimal_demerits[loose_fit] = awful_bad;
+  minimal_demerits[very_loose_fit] = awful_bad;
 
   if (par_shape_ptr == 0)
     if (hang_indent == 0)
@@ -409,22 +387,21 @@ void line_break_ (integer final_widow_penalty)
   }
 
   if (looseness == 0)
-    easyline = last_special_line;
+    easy_line = last_special_line;
   else
-    easyline = empty_flag;
+    easy_line = empty_flag;
 
   threshold = pretolerance;
 
   if (threshold >= 0)
   {
-
 #ifdef STAT
     if (tracing_paragraphs > 0)
     {
       begin_diagnostic();
       print_nl("@firstpass");
     }
-#endif /* STAT */
+#endif
 
     second_pass = false;
     final_pass = false;
@@ -439,7 +416,7 @@ void line_break_ (integer final_widow_penalty)
 #ifdef STAT
     if (tracing_paragraphs > 0)
       begin_diagnostic();
-#endif /* STAT */
+#endif
   }
 
   while (true)
@@ -454,15 +431,15 @@ 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;
-      rhyf = init_r_hyf;
+      l_hyf = init_l_hyf;
+      r_hyf = init_r_hyf;
     }
 
-    q = get_node(3);
+    q = get_node(active_node_size);
     type(q) = unhyphenated;
     fitness(q) = decent_fit;
     link(q) = active;
@@ -470,91 +447,83 @@ void line_break_ (integer final_widow_penalty)
     line_number(q) = prev_graf + 1;
     total_demerits(q) = 0;
     link(active) = q;
-    active_width[1] = background[1];
-    active_width[2] = background[2];
-    active_width[3] = background[3];
-    active_width[4] = background[4];
-    active_width[5] = background[5];
-    active_width[6] = background[6];
-
+    act_width = background[1];
+    do_all_six(store_background);
     passive = 0;
     printed_node = temp_head;
     pass_number = 0;
-    font_in_short_display = 0;
-
+    font_in_short_display = null_font;
     cur_p = link(temp_head);
     auto_breaking = true;
-    prevp = cur_p;
+    prev_p = 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;
+        prev_p = cur_p;
 
         do
           {
             f = font(cur_p);
-            active_width[1] = active_width[1] + char_width(f, char_info(f, character(cur_p)));
+            act_width = act_width + 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))
+      switch (type(cur_p))
       {
         case hlist_node:
         case vlist_node:
         case rule_node:
-          active_width[1] = active_width[1] + width(cur_p);
+          act_width = act_width + width(cur_p);
           break;
+
         case whatsit_node:
           if (subtype(cur_p) == language_node)
           {
             cur_lang = what_lang(cur_p);
-            lhyf = what_lhm(cur_p);
-            rhyf = what_rhm(cur_p);
+            l_hyf = what_lhm(cur_p);
+            r_hyf = what_rhm(cur_p);
           }
           break;
+
         case glue_node:
           {
             if (auto_breaking)
             {
-              if ((prevp >= hi_mem_min))
+              if (is_char_node(prev_p))
                 try_break(0, unhyphenated);
-              else if ((mem[prevp].hh.b0 < 9))
+              else if (precedes_break(prev_p))
                 try_break(0, unhyphenated);
-              else if ((type(prevp) == kern_node) && (subtype(prevp) != explicit))
+              else if ((type(prev_p) == kern_node) && (subtype(prev_p) != explicit))
                 try_break(0, unhyphenated);
             }
 
-            if ((mem[glue_ptr(cur_p)].hh.b1 != 0) && (mem[glue_ptr(cur_p) + 3].cint != 0))
-            {
-              glue_ptr(cur_p) = finite_shrink(glue_ptr(cur_p));
-            }
-
+            check_shrinkage(glue_ptr(cur_p));
             q = glue_ptr(cur_p);
-            active_width[1] = active_width[1]+ width(q);
+            act_width = act_width+ width(q);
             active_width[2 + stretch_order(q)] = active_width[2 + stretch_order(q)] + stretch(q);
             active_width[6] = active_width[6] + shrink(q);
 
             if (second_pass && auto_breaking)
             {
-              prevs = cur_p;
-              s = link(prevs);
+              prev_s = cur_p;
+              s = link(prev_s);
 
               if (s != 0)
               {
                 while (true)
                 {
-                  if ((s >= hi_mem_min))
+                  if (is_char_node(s))
                   {
                     c = character(s);
                     hf = font(s);
                   }
                   else if (type(s) == ligature_node)
                     if (lig_ptr(s) == 0)
-                      goto lab22;
+                      goto continu;
                     else
                     {
                       q = lig_ptr(s);
@@ -562,88 +531,88 @@ void line_break_ (integer final_widow_penalty)
                       hf = font(q);
                     }
                   else if ((type(s) == kern_node) && (subtype(s) == normal))
-                    goto lab22;
+                    goto continu;
                   else if (type(s) == whatsit_node)
                   {
                     if (subtype(s) == language_node)
                     {
                       cur_lang = what_lang(s);
-                      lhyf = what_lhm(s);
-                      rhyf = what_rhm(s);
+                      l_hyf = what_lhm(s);
+                      r_hyf = what_rhm(s);
                     }
-                    goto lab22;
+                    goto continu;
                   }
                   else
-                    goto lab31;
+                    goto done1;
 
                   if (lc_code(c) != 0)
-                    if ((lc_code(c) == (halfword) c) || (uc_hyph > 0)) /* fixed signed tyoe */
-                      goto lab32;
+                    if ((lc_code(c) == (halfword) c) || (uc_hyph > 0))
+                      goto done2;
                     else
-                      goto lab31;
-lab22:
-                  prevs = s;
-                  s = link(prevs);
+                      goto done1;
+continu:
+                  prev_s = s;
+                  s = link(prev_s);
                 }
-lab32:
+done2:
                 hyf_char = hyphen_char[hf];
 
                 if (hyf_char < 0)
-                  goto lab31; 
+                  goto done1; 
 
                 if (hyf_char > 255)
-                  goto lab31; /* ? */
+                  goto done1; /* ? */
 
-                ha = prevs;
+                ha = prev_s;
 
-                if (lhyf + rhyf > 63)
-                  goto lab31;
+                if (l_hyf + r_hyf > 63)
+                  goto done1;
 
                 hn = 0;
 
                 while (true)
                 {
-                  if ((s >= hi_mem_min))
+                  if (is_char_node(s))
                   {
                     if (font(s) != hf)
-                      goto lab33;
+                      goto done3;
 
-                    hyfbchar = character(s);
+                    hyf_bchar = character(s);
 
-                    c = hyfbchar;     /*  unsigned char c;  */
+                    c = hyf_bchar;
 
                     if (lc_code(c) == 0)
-                      goto lab33;
+                      goto done3;
 
                     if (hn == 63)
-                      goto lab33;
+                      goto done3;
 
                     hb = s;
                     incr(hn);
                     hu[hn] = c;
                     hc[hn]= lc_code(c);
-                    hyfbchar = non_char;
+                    hyf_bchar = non_char;
                   }
                   else if (type(s) == ligature_node)
                   {
                     if (font(lig_char(s)) != hf)
-                      goto lab33;
+                      goto done3;
 
                     j = hn;
                     q = lig_ptr(s);
 
                     if (q != 0) /* 94/Mar/23 BUG FIX */
-                      hyfbchar = character(q);
+                      hyf_bchar = character(q);
 
                     while (q != 0) /* 94/Mar/23 BUG FIX */
                     {
                       c = character(q);
 
                       if (lc_code(c) == 0)
-                        goto lab33;
+                        goto done3;
 
                       if (j == 63)
-                        goto lab33;
+                        goto done3;
 
                       incr(j);
                       hu[j] = c;
@@ -655,74 +624,74 @@ lab32:
                     hn = j;
 
                     if (odd(subtype(s)))
-                      hyfbchar = font_bchar[hf];
+                      hyf_bchar = font_bchar[hf];
                     else
-                      hyfbchar = non_char;
+                      hyf_bchar = non_char;
                   }
                   else if ((type(s) == kern_node) && (subtype(s) == normal))
                   {
                     hb = s;
-                    hyfbchar = font_bchar[hf];
+                    hyf_bchar = font_bchar[hf];
                   }
                   else
-                    goto lab33;
+                    goto done3;
 
                   s = link(s);
                 }
-lab33:;
-                if (hn < lhyf + rhyf)
-                  goto lab31;
+done3:
+                if (hn < l_hyf + r_hyf)
+                  goto done1;
 
                 while (true)
                 {
-                  if (!((s >= hi_mem_min)))
-                    switch(type(s))
+                  if (!(is_char_node(s)))
+                    switch (type(s))
                     {
                       case ligature_node:
                         break;
+    
                       case kern_node:
                         if (subtype(s) != normal)
-                          goto lab34;
+                          goto done4;
                         break;
+
                       case whatsit_node:
                       case glue_node:
                       case penalty_node:
                       case ins_node:
                       case adjust_node:
                       case mark_node:
-                        goto lab34;
+                        goto done4;
                         break;
+
                       default:
-                        goto lab31;
+                        goto done1;
                         break;
                     }
                   s = link(s);
                 }
-lab34:;
+done4:
                 hyphenate();
               }
-lab31:;
+done1:;
             }
           }
           break;
+
         case kern_node:
           if (subtype(cur_p) == explicit)
-          {
-            if (!(link(cur_p) >= hi_mem_min) && auto_breaking)
-              if (type(link(cur_p)) == glue_node)
-                try_break(0, unhyphenated);
-
-            active_width[1] = active_width[1] + width(cur_p);
-          }
+            kern_break();
           else
-            active_width[1] = active_width[1] + width(cur_p);
+            act_width = act_width + width(cur_p);
           break;
+
         case ligature_node:
           {
             f = font(lig_char(cur_p));
-            active_width[1] = active_width[1] + char_width(f, char_info(f, character(lig_char(cur_p))));
+            act_width = act_width + char_width(f, char_info(f, character(lig_char(cur_p))));
           }
           break;
+
         case disc_node:
           {
             s = pre_break(cur_p);
@@ -734,56 +703,59 @@ 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)));
                 }
-                else switch(type(s))
+                else switch (type(s))
                 {
                   case ligature_node:
                     {
                       f = font(lig_char(s));
-                      disc_width = disc_width + font_info[width_base[f] + font_info[char_base[f]+ mem[s + 1].hh.b1].qqqq.b0].cint;
+                      disc_width = disc_width + char_width(f, char_info(f, character(lig_char(s))));
                     }
                     break;
+
                   case hlist_node:
                   case vlist_node:
                   case rule_node:
                   case kern_node:
                     disc_width = disc_width + width(s);
                     break;
+
                   default:
                     {
                       confusion("disc3");
-                      return;       // abort_flag set
+                      return;
                     }
                     break;
                 }
                 s = link(s);
               }
-              while(!(s == 0));
+              while (!(s == 0));
 
-              active_width[1] = active_width[1] + disc_width;
+              act_width = act_width + disc_width;
               try_break(hyphen_penalty, hyphenated);
-              active_width[1] = active_width[1] - disc_width;
+              act_width = act_width - disc_width;
             }
+
             r = replace_count(cur_p);
             s = link(cur_p);
 
             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)));
+                act_width = act_width + char_width(f, char_info(f, character(s)));
               }
-              else switch(type(s))
+              else switch (type(s))
               {
                 case ligature_node:
                   {
                     f = font(lig_char(s));
-                    active_width[1] = active_width[1] + char_width(f, char_info(f, character(lig_char(s))));
+                    act_width = act_width + char_width(f, char_info(f, character(lig_char(s))));
                   }
                   break;
 
@@ -791,13 +763,13 @@ lab31:;
                 case vlist_node:
                 case rule_node:
                 case kern_node:
-                  active_width[1] = active_width[1] + width(s);
+                  act_width = act_width + width(s);
                   break;
 
                 default:
                   {
                     confusion("disc4");
-                    return;       // abort_flag set
+                    return;
                   }
                   break;
               }
@@ -806,22 +778,16 @@ lab31:;
               s = link(s);
             }
 
-            prevp = cur_p;
+            prev_p = cur_p;
             cur_p = s;
-            goto lab35;
+            goto done5;
           }
           break;
 
         case math_node:
           {
-            auto_breaking = (subtype(cur_p) == 1);
-            {
-              if (!(link(cur_p) >= hi_mem_min) && auto_breaking)
-                if (type(link(cur_p)) == glue_node)
-                  try_break(0, unhyphenated);
-
-              active_width[1] = active_width[1] + width(cur_p);
-            }
+            auto_breaking = (subtype(cur_p) == after);
+            kern_break();
           }
           break;
 
@@ -837,14 +803,14 @@ lab31:;
         default:
           {
             confusion("paragraph");
-            return;       // abort_flag set
+            return;
           }
           break;
       }
 
-      prevp = cur_p;
+      prev_p = cur_p;
       cur_p = link(cur_p);
-lab35:;
+done5:;
     }
 
     if (cur_p == 0)
@@ -854,11 +820,11 @@ lab35:;
       if (link(active) != active)
       {
         r = link(active);
-        fewest_demerits = 1073741823L; /* 2^30 - 1 */
+        fewest_demerits = awful_bad;
 
         do
           {
-            if (type(r) != 2)
+            if (type(r) != delta_node)
               if (total_demerits(r) < fewest_demerits)
               {
                 fewest_demerits = total_demerits(r);
@@ -873,7 +839,7 @@ lab35:;
 
         if (looseness == 0)
         {
-          goto lab30;           /* normal exit */
+          goto done; /* normal exit */
         }
 
         {
@@ -909,7 +875,7 @@ lab35:;
 
         if ((actual_looseness == looseness) || final_pass)
         {
-          goto lab30;
+          goto done;
         }
       }
     }
@@ -920,10 +886,10 @@ lab35:;
     {
       cur_p = link(q);
 
-      if (type(q) == 2)
-        free_node(q, 7);
+      if (type(q) == delta_node)
+        free_node(q, delta_node_size);
       else
-        free_node(q, 3);
+        free_node(q, active_node_size);
 
       q = cur_p;
     }
@@ -933,19 +899,19 @@ lab35:;
     while (q != 0)
     {
       cur_p = link(q);
-      free_node(q, 2);
+      free_node(q, passive_node_size);
       q = cur_p;
     }
 
-    if (! second_pass)
+    if (!second_pass)
     {
 #ifdef STAT
       if (tracing_paragraphs > 0)
         print_nl("@secondpass");
-#endif /* STAT */
+#endif
       threshold = tolerance;
       second_pass = true;
-      second_pass_count++;          /* 96 Feb 9 */
+      second_pass_count++;
       final_pass = (emergency_stretch <= 0);
     }
     else
@@ -953,16 +919,16 @@ lab35:;
 #ifdef STAT
       if (tracing_paragraphs > 0)
         print_nl("@emergencypass");
-#endif /* STAT */
-/*     can only get here is \emergencystretch has been set positive */
+#endif
+
       background[2] = background[2] + emergency_stretch;
       final_pass = true;
-      ++final_pass_count;         /* 96 Feb 9 */
-    } /* end of if second_pass */
-  } /* end of while(true)do */
-/* cannot drop through from above loop */
-lab30:                /* common exit point */
-  if (best_line == 2)
+      ++final_pass_count;
+    }
+  }
+
+done:
+  if (best_line == decent_fit)
     single_line++;
 
 #ifdef STAT
@@ -971,7 +937,7 @@ lab30:                /* common exit point */
     end_diagnostic(true);
     normalize_selector();
   }
-#endif /* STAT */
+#endif
 
   post_line_break(final_widow_penalty);
   q = link(active);
@@ -980,10 +946,10 @@ lab30:                /* common exit point */
   {
     cur_p = link(q);
 
-    if (type(q) == 2)
-      free_node(q, 7);
+    if (type(q) == delta_node)
+      free_node(q, delta_node_size);
     else
-      free_node(q, 3);
+      free_node(q, active_node_size);
 
     q = cur_p;
   }
@@ -993,7 +959,7 @@ lab30:                /* common exit point */
   while (q != 0)
   {
     cur_p = link(q);
-    free_node(q, 2);
+    free_node(q, passive_node_size);
     q = cur_p;
   }
 
@@ -1006,9 +972,9 @@ 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;
 
@@ -1021,7 +987,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 <= max_non_prefixed_command)
     {
@@ -1038,9 +1004,9 @@ void prefixed_command (void)
   {
     print_err("You can't use `");
     print_esc("long");
-    print_string("' or `");
+    prints("' or `");
     print_esc("outer");
-    print_string("' with `");
+    prints("' with `");
     print_cmd_chr(cur_cmd, cur_chr); 
     print_char('\'');
     help1("I'll pretend you didn't say \\long or \\outer here.");
@@ -1062,10 +1028,7 @@ void prefixed_command (void)
   switch (cur_cmd)
   {
     case set_font:
-      if ((a >= 4))
-        geq_define(cur_font_loc, data, cur_chr);
-      else
-        eq_define(cur_font_loc, data, cur_chr);
+      define(cur_font_loc, data, cur_chr);
       break;
 
     case def:
@@ -1077,11 +1040,7 @@ void prefixed_command (void)
         get_r_token();
         p = cur_cs;
         q = scan_toks(true, e);
-
-        if ((a >= 4))
-          geq_define(p, call + (a % 4), def_ref);
-        else
-          eq_define(p, call + (a % 4), def_ref);
+        define(p, call + (a % 4), def_ref);
       }
       break;
 
@@ -1118,12 +1077,9 @@ void prefixed_command (void)
         }
 
         if (cur_cmd >= call)
-          incr(mem[cur_chr].hh.v.LH);
+          add_token_ref(cur_chr);
 
-        if ((a >= 4))
-          geq_define(p, cur_cmd, cur_chr);
-        else
-          eq_define(p, cur_cmd, cur_chr);
+        define(p, cur_cmd, cur_chr);
       }
       break;
 
@@ -1132,12 +1088,7 @@ void prefixed_command (void)
         n = cur_chr;
         get_r_token();
         p = cur_cs;
-
-        if ((a >= 4))
-          geq_define(p, relax, 256);
-        else
-          eq_define(p, relax, 256);
-
+        define(p, relax, 256);
         scan_optional_equals();
 
         switch (n)
@@ -1145,22 +1096,14 @@ void prefixed_command (void)
           case char_def_code:
             {
               scan_char_num();
-
-              if ((a >= 4))
-                geq_define(p, char_given, cur_val);
-              else
-                eq_define(p, char_given, cur_val);
+              define(p, char_given, cur_val);
             }
             break;
 
           case math_char_def_code:
             {
               scan_fifteen_bit_int();
-
-              if ((a >= 4))
-                geq_define(p, math_given, cur_val);
-              else
-                eq_define(p, math_given, cur_val);
+              define(p, math_given, cur_val);
             }
             break;
 
@@ -1171,38 +1114,23 @@ void prefixed_command (void)
               switch (n)
               {
                 case count_def_code:
-                  if ((a >= 4))
-                    geq_define(p, assign_int, count_base + cur_val);
-                  else
-                    eq_define(p, assign_int, count_base + cur_val);
+                  define(p, assign_int, count_base + cur_val);
                   break;
 
                 case dimen_def_code:
-                  if ((a >= 4))
-                    geq_define(p, assign_dimen, scaled_base + cur_val);
-                  else
-                    eq_define(p, assign_dimen, scaled_base + cur_val);
+                  define(p, assign_dimen, scaled_base + cur_val);
                   break;
 
                 case skip_def_code:
-                  if ((a >= 4)) 
-                    geq_define(p, assign_glue, skip_base + cur_val);
-                  else
-                    eq_define(p, assign_glue, skip_base + cur_val);
+                  define(p, assign_glue, skip_base + cur_val);
                   break;
 
                 case mu_skip_def_code:
-                  if ((a >= 4))
-                    geq_define(p, assign_mu_glue, mu_skip_base + cur_val);
-                  else
-                    eq_define(p, assign_mu_glue, mu_skip_base + cur_val);
+                  define(p, assign_mu_glue, mu_skip_base + cur_val);
                   break;
 
                 case toks_def_code:
-                  if ((a >= 4))
-                    geq_define(p, assign_toks, toks_base + cur_val);
-                  else
-                    eq_define(p, assign_toks, toks_base + cur_val);
+                  define(p, assign_toks, toks_base + cur_val);
                   break;
               }
             }
@@ -1216,7 +1144,7 @@ void prefixed_command (void)
         scan_int();
         n = cur_val;
 
-        if (! scan_keyword("to"))
+        if (!scan_keyword("to"))
         {
           print_err("Missing `to' inserted");
           help2("You should have said `\\read<number> to \\cs'.",
@@ -1227,11 +1155,7 @@ void prefixed_command (void)
         get_r_token();
         p = cur_cs;
         read_toks(n, p);
-
-        if ((a >= 4))
-          geq_define(p, call, cur_val);
-        else
-          eq_define(p, call, cur_val);
+        define(p, call, cur_val);
       }
       break;
 
@@ -1254,7 +1178,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)
         {
@@ -1270,20 +1194,13 @@ void prefixed_command (void)
             q = equiv(cur_chr);
 
             if (q == 0)
-              if ((a >= 4))
-                geq_define(p, undefined_cs, 0);
-              else
-                eq_define(p, undefined_cs, 0);
+              define(p, undefined_cs, 0);
             else
             {
-              incr(mem[q].hh.v.LH);
-
-              if ((a >= 4))
-                geq_define(p, call, q);
-              else
-                eq_define(p, call, q);
+              add_token_ref(q);
+              define(p, call, q);
             }
-            goto lab30;
+            goto done;
           }
         }
 
@@ -1293,11 +1210,7 @@ void prefixed_command (void)
 
         if (link(def_ref) == 0)
         {
-          if ((a >= 4))
-            geq_define(p, undefined_cs, 0);
-          else
-            eq_define(p, undefined_cs, 0);
-
+          define(p, undefined_cs, 0);
           free_avail(def_ref);
         }
         else
@@ -1313,10 +1226,7 @@ void prefixed_command (void)
             link(def_ref) = q;
           }
 
-          if ((a >= 4))
-            geq_define(p, call, def_ref);
-          else
-            eq_define(p, call, def_ref);
+          define(p, call, def_ref);
         }
       }
       break;
@@ -1326,11 +1236,7 @@ void prefixed_command (void)
         p = cur_chr;
         scan_optional_equals();
         scan_int();
-
-        if ((a >= 4))
-          geq_word_define(p, cur_val);
-        else
-          eq_word_define(p, cur_val);
+        word_define(p, cur_val);
       }
       break;
 
@@ -1339,11 +1245,7 @@ void prefixed_command (void)
         p = cur_chr;
         scan_optional_equals();
         scan_dimen(false, false, false);
-
-        if ((a >= 4))
-          geq_word_define(p, cur_val);
-        else
-          eq_word_define(p, cur_val);
+        word_define(p, cur_val);
       }
       break;
 
@@ -1360,11 +1262,7 @@ void prefixed_command (void)
           scan_glue(glue_val);
 
         trap_zero_glue();
-
-        if ((a >= 4))
-          geq_define(p, glue_ref, cur_val);
-        else
-          eq_define(p, glue_ref, cur_val);
+        define(p, glue_ref, cur_val);
       }
       break;
 
@@ -1379,7 +1277,7 @@ void prefixed_command (void)
         else if (cur_chr == del_code_base)
           n = 16777215L; /* 2^24 - 1 */
         else
-          n = 255; /* 2^8 - 1 */
+          n = 255;
 
         p = cur_chr;
         scan_char_num();
@@ -1393,9 +1291,9 @@ void prefixed_command (void)
           print_int(cur_val);
 
           if (p < del_code_base)
-            print_string("), should be in the range 0..");
+            prints("), should be in the range 0..");
           else
-            print_string("), should be at most ");
+            prints("), should be at most ");
 
           print_int(n);
           help1("I'm going to use 0 instead of that illegal code value.");
@@ -1404,20 +1302,11 @@ void prefixed_command (void)
         }
 
         if (p < math_code_base)
-          if ((a >= 4))
-            geq_define(p, data, cur_val);
-          else
-            eq_define(p, data, cur_val);
+          define(p, data, cur_val);
         else if (p < del_code_base)
-          if ((a >= 4))
-            geq_define(p, data, cur_val);
-          else
-            eq_define(p, data, cur_val);
+          define(p, data, cur_val);
         else 
-          if ((a >= 4))
-            geq_word_define(p, cur_val);
-          else
-            eq_word_define(p, cur_val);
+          word_define(p, cur_val);
       }
       break;
 
@@ -1428,11 +1317,7 @@ void prefixed_command (void)
         p = p + cur_val;
         scan_optional_equals();
         scan_font_ident();
-
-        if ((a >= 4))
-          geq_define(p, data, cur_val);
-        else
-          eq_define(p, data, cur_val);
+        define(p, data, cur_val);
       }
       break;
 
@@ -1455,9 +1340,7 @@ void prefixed_command (void)
         scan_optional_equals();
 
         if (set_box_allowed)
-        {
           scan_box(box_flag + n);
-        }
         else
         {
           print_err("Improper ");
@@ -1511,10 +1394,7 @@ void prefixed_command (void)
           }
         }
 
-        if ((a >= 4))
-          geq_define(par_shape_loc, shape_ref, p);
-        else
-          eq_define(par_shape_loc, shape_ref, p);
+        define(par_shape_loc, shape_ref, p);
       }
       break;
 
@@ -1525,9 +1405,9 @@ void prefixed_command (void)
         if (is_initex)
         {
           new_patterns();
-          goto lab30;
+          goto done;
         }
-#endif /* INITEX */
+#endif
         print_err("Patterns can be loaded only by INITEX");
         help_ptr = 0;
         error();
@@ -1536,14 +1416,14 @@ void prefixed_command (void)
           {
             get_token();
           }
-        while(!(cur_cmd == right_brace));
+        while (!(cur_cmd == right_brace));
 
         return;
       }
       else
       {
         new_hyph_exceptions();
-        goto lab30;
+        goto done;
       }
       break;
 
@@ -1583,12 +1463,12 @@ void prefixed_command (void)
     default:
       {
         confusion("prefix");
-        return;       // abort_flag set
+        return;
       }
       break;
   }
 
-lab30:
+done:
   if (after_token != 0)
   {
     cur_tok = after_token;
@@ -1596,126 +1476,84 @@ 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;
-
-    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)
 {
   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 bad_fmt;
 
   undump_int(x); /* mem_bot */
 
   if (x != mem_bot)
-    goto lab6666;
+    goto bad_fmt;
 
   undump_int(x); /* mem_top */
 
 #ifdef ALLOCATEMAIN
 /* we already read this once earlier to grab mem_top */
   if (trace_flag)
-  {
-    sprintf(log_line, "Read from fmt file mem_top = %d TeX words\n", x);
-    show_line(log_line, 0);
-  }
+    printf("Read from fmt file mem_top = %lld TeX words\n", x);
 
   mem = allocate_main_memory(x); /* allocate main memory at this point */
 
   if (mem == NULL)
-    exit(1);                     /* redundant sanity test ! */
+    exit(EXIT_FAILURE);
 
-  initialize_aux();              /* do `mem' part of initialize */
-/*  mem = zmem; */               /* update pointer to main memory */
+  initialize_aux(); /* do `mem' part of initialize */
 #endif
 
   if (x != mem_top)
-    goto lab6666;
+    goto bad_fmt;
 
   undump_int(x); /* eqtb_size */
 
-  if (x != (eqtb_size))
-    goto lab6666;
+  if (x != eqtb_size)
+    goto bad_fmt;
 
   undump_int(x); /* hash_prime */
 
   if (x != hash_prime)
-    goto lab6666;
+    goto bad_fmt;
 
   undump_int(x); /* hyphen_prime */
 
 #ifdef ALLOCATEHYPHEN
 /* allow format files dumped with arbitrary (prime) hyphenation exceptions */
-  realloc_hyphen(x); /* reset_hyphen(); */
+  realloc_hyphen(x);
   hyphen_prime = x;
 #endif
 
   if (x != hyphen_prime)
-    goto lab6666;
+    goto bad_fmt;
 
   {
     undump_int(x); /* pool_size */
 
     if (x < 0)
-      goto lab6666
+      goto bad_fmt
 
 #ifdef ALLOCATESTRING
     if (x > current_pool_size)
     {
       if (trace_flag)
-      {
-        sprintf(log_line, "undump string pool reallocation (%d > %d)\n", x, current_pool_size);
-        show_line(log_line, 0);
-      }
+        printf("undump string pool reallocation (%lld > %d)\n", x, current_pool_size);
 
       str_pool = realloc_str_pool (x - current_pool_size + increment_pool_size);
     }
 
-    if (x > current_pool_size)   /* 94/Jan/24 */
+    if (x > current_pool_size)
 #else
     if (x > pool_size)
 #endif
     {
-      sprintf(log_line, "%s%s\n",  "---! Must increase the ", "string pool size");
-      show_line(log_line, 0);
-      goto lab6666;
+      printf("%s%s\n", "---! Must increase the ", "string pool size");
+      goto bad_fmt;
     }
     else
       pool_ptr = x;
@@ -1723,62 +1561,41 @@ bool load_fmt_file (void)
 
   {
     undump_int(x);  /* max_strings */
+
     if (x < 0)
-      goto lab6666;
+      goto bad_fmt;
 
 #ifdef ALLOCATESTRING
     if (x > current_max_strings)
     {
       if (trace_flag)
-      {
-        sprintf(log_line, "undump string pointer reallocation (%d > %d)\n", x, current_max_strings);
-        show_line(log_line, 0);
-      }
+        printf("undump string pointer reallocation (%lld > %d)\n", x, current_max_strings);
 
       str_start = realloc_str_start(x - current_max_strings + increment_max_strings);
     }
 
-    if (x > current_max_strings) /* 94/Jan/24 */
+    if (x > current_max_strings)
 #else
     if (x > max_strings)
 #endif
     {
-      sprintf(log_line,  "%s%s\n",  "---! Must increase the ", "max strings");
-      show_line(log_line, 0);
-      goto lab6666;
+      printf("%s%s\n", "---! Must increase the ", "max strings");
+      goto bad_fmt;
     }
     else
       str_ptr = x;
   }
 
-  if (undumpthings(str_start[0], str_ptr + 1)) /* undump string ptrs */
+  if (undumpthings(str_start[0], str_ptr + 1))
     return -1;
 
-  if (undumpthings(str_pool[0], pool_ptr)) /*  undump string pool */
+  if (undumpthings(str_pool[0], pool_ptr))
     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;
-  }
-
+  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;
 
@@ -1790,7 +1607,7 @@ bool load_fmt_file (void)
       p = q + node_size(q);
 
       if ((p > lo_mem_max) || ((q >= rlink(q)) && (rlink(q) != rover)))
-        goto lab6666;
+        goto bad_fmt;
 
       q = rlink(q);
     }
@@ -1803,7 +1620,7 @@ bool load_fmt_file (void)
   {
 /*  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!");
 
     p = llink(rover);
     q = mem_min + 1;
@@ -1814,27 +1631,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  */
-  }
-
-  {
-    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;
+    node_size(q) = mem_bot - q;
   }
 
+  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))
@@ -1850,7 +1651,7 @@ bool load_fmt_file (void)
       undump_int(x);
 
       if ((x < 1) || (k + x > (eqtb_size + 1)))
-        goto lab6666;
+        goto bad_fmt;
 
       if (undumpthings(eqtb[k], x))
         return -1;
@@ -1859,58 +1660,25 @@ bool load_fmt_file (void)
       undump_int(x);
 
       if ((x < 0) || (k + x > (eqtb_size + 1)))
-        goto lab6666;
+        goto bad_fmt;
 
       for (j = k; j <= k + x - 1; j++)
-      {
         eqtb[j] = eqtb[k - 1];
-      }
 
       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;
-  }
+  while (!(k > eqtb_size));
 
+  undump(hash_base, frozen_control_sequence, par_loc);
   par_token = cs_token_flag + 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;
-  }
+  undump(hash_base, frozen_control_sequence, write_loc);
+  undump(hash_base, frozen_control_sequence, hash_used);
 
   p = hash_base - 1;
 
   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]);
     }
   while (!(p == hash_used));
@@ -1921,43 +1689,33 @@ bool load_fmt_file (void)
   undump_int(cs_count);
 
   if (trace_flag)
-  {
-    sprintf(log_line, "itex undump cs_count %d ", cs_count);
-    show_line(log_line, 0);
-  }
+    printf("itex undump cs_count %lld ", cs_count);
 
   {
-    undump_int(x);        /* font_mem_size */
+    undump_int(x); /* font_mem_size */
 
     if (x < 7)
-      goto lab6666;
+      goto bad_fmt;
 
 #ifdef ALLOCATEFONT
     if (trace_flag)
-    {
-      sprintf(log_line, "Read from fmt fmem_ptr = %d\n", x);
-      show_line(log_line, 0);
-    }
+      printf("Read from fmt fmem_ptr = %lld\n", x);
 
-    if (x > current_font_mem_size) /* 93/Nov/28 dynamic allocate font_info */
+    if (x > current_font_mem_size)
     {
       if (trace_flag)
-      {
-        sprintf(log_line, "Undump realloc font_info (%d > %d)\n", x, current_font_mem_size);
-        show_line(log_line, 0);
-      }
+        printf("Undump realloc font_info (%lld > %d)\n", x, current_font_mem_size);
 
       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 */
+    if (x > current_font_mem_size)
 #else
     if (x > font_mem_size)
 #endif
     {
-      sprintf(log_line, "%s%s\n",  "---! Must increase the ", "font mem size");
-      show_line(log_line, 0);
-      goto lab6666;
+      puts("---! Must increase the font mem size");
+      goto bad_fmt;
     }
     else
       fmem_ptr = x;
@@ -1971,19 +1729,18 @@ bool load_fmt_file (void)
       undump_int(x); /* font_max */
 
       if (x < 0)
-        goto lab6666;
+        goto bad_fmt;
 
       if (x > font_max)
       {
-        sprintf(log_line, "%s%s\n",  "---! Must increase the ", "font max"); 
-        show_line(log_line, 0);
-        goto lab6666;
+        puts("---! Must increase the font max"); 
+        goto bad_fmt;
       }
       else
         font_ptr = x;
     }
 
-    frozen_font_ptr = font_ptr; /* remember number of fonts frozen into format */
+    frozen_font_ptr = font_ptr;
 
     if (undumpthings(font_check[0], font_ptr + 1))
       return -1;
@@ -2060,7 +1817,6 @@ bool load_fmt_file (void)
 /* non_address from font_mem_size to 0 96/Jan/15 ??? */
 
 #ifdef ALLOCATEFONT
-/* deal with fmt files dumped with *different* font_mem_size 93/Nov/29 */
   {
     int count = 0, oldfont_mem_size = 0;
     
@@ -2069,69 +1825,32 @@ bool load_fmt_file (void)
       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 */
+
+    if (oldfont_mem_size != non_address && oldfont_mem_size > font_max)
     {
       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 */
+          bchar_label[x] = non_address;
           count++;
         }
       }
 
       if (trace_flag)
-      {
-        sprintf(log_line, "oldfont_mem_size is %d --- hit %d times. Using non_address %d\n",
+        printf("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(0, hyphen_prime, hyph_count);
 
-  /* undump hypenation exception tables p.1325 */
   for (k = 1; k <= hyph_count; k++)
   {
-    {
-      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;
-    }
-
-    {
-      undump_int(x);
-
-      if ((x < 0) || (x > max_halfword)) /* mem_top ? no p.1325 */
-        goto lab6666;
-      else
-        hyph_list[j] = x;
-    }
+    undump(0, hyphen_prime, j);
+    undump(0, str_ptr, hyph_word[j]);
+    undump(0, max_halfword, hyph_list[j]);
   }
 
 #ifdef ALLOCATEHYPHEN
@@ -2151,7 +1870,7 @@ bool load_fmt_file (void)
     undump_int(x);
 
     if (x < 0)
-      goto lab6666;
+      goto bad_fmt;
 
 #ifdef ALLOCATETRIES
     if (!is_initex)
@@ -2163,17 +1882,18 @@ bool load_fmt_file (void)
 
     if (x > trie_size)
     {
-      sprintf(log_line, "%s%s\n",  "---! Must increase the ", "trie size");
-      show_line(log_line, 0);
-      goto lab6666;
+      puts("---! Must increase the trie size");
+      goto 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;
 
@@ -2187,22 +1907,21 @@ bool load_fmt_file (void)
     undump_int(x);
 
     if (x < 0)
-      goto lab6666;
+      goto 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;
+      puts("---! Must increase the trie op size\n");
+      goto 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;
@@ -2214,79 +1933,45 @@ bool load_fmt_file (void)
     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);
+    undump(0, k - 1, k);
+    undump(1, j, x);
 
-      if ((x < 1) || (x > j))
-        goto lab6666;
-      else
-        x = 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;
-
-    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);
   
   if ((x != ENDFMTCHECKSUM) || feof(fmt_file))
-    goto lab6666;
+    goto bad_fmt;
 
   return true;
 
-lab6666:;
-  sprintf(log_line, "(Fatal format file error; I'm stymied)\n");
-  show_line(log_line, 1);
-
-  if (!knuth_flag)
-    bad_formator_pool(format_file, "the format file", "TEXFORMATS");
+bad_fmt:
+  puts("(Fatal format file error; I'm stymied)");
 
   return false;
 }
@@ -2302,17 +1987,15 @@ void final_cleanup (void)
 
   while (input_ptr > 0)
   {
-    if (cur_input.state_field == 0)
-    {
+    if (state == token_list)
       end_token_list();
-    }
     else
       end_file_reading();
   }
 
   while (open_parens > 0)
   {
-    print_string(" )");
+    prints(" )");
     decr(open_parens);
   }
 
@@ -2320,7 +2003,7 @@ void final_cleanup (void)
   {
     print_nl("(");
     print_esc("end occurred ");
-    print_string("inside a group at level ");
+    prints("inside a group at level ");
     print_int(cur_level - 1);
     print_char(')');
   }
@@ -2329,21 +2012,21 @@ void final_cleanup (void)
   {
     print_nl("(");
     print_esc("end occurred ");
-    print_string("when ");
+    prints("when ");
     print_cmd_chr('i', cur_if);
 
     if (if_line != 0)
     {
-      print_string("on line ");
+      prints("on line ");
       print_int(if_line);
     }
 
-    print_string(" was incomplete)");
+    prints(" was incomplete)");
     if_line = mem[cond_ptr + 1].cint;
-    cur_if = mem[cond_ptr].hh.b1;
+    cur_if = subtype(cond_ptr);
     temp_ptr = cond_ptr;
-    cond_ptr = mem[cond_ptr].hh.v.RH;
-    free_node(temp_ptr, 2);
+    cond_ptr = link(cond_ptr);
+    free_node(temp_ptr, if_node_size);
   }
 
   if (history != spotless)
@@ -2368,7 +2051,8 @@ void final_cleanup (void)
 
       if (last_glue != max_halfword)
         delete_glue_ref(last_glue);
-      store_fmt_file(); // returns a value ?
+
+      store_fmt_file();
     }
 #endif
 
@@ -2382,7 +2066,7 @@ void show_frozen (void)
   int i, j, n;
 
   fprintf(log_file, "\n");
-  fprintf(log_file, "(%d fonts frozen in format file:\n", font_ptr);
+  fprintf(log_file, "(%lld fonts frozen in format file:\n", font_ptr);
 
   for (i = 1; i <= font_ptr; i++)
   {
@@ -2403,12 +2087,12 @@ void show_frozen (void)
   fprintf(log_file, ") ");
 }
 
-int texbody (void)
+int main_program (void)
 {
   history = fatal_error_stop;
 
   if (ready_already == 314159L)
-    goto lab1;
+    goto start_of_TEX;
 
   bad = 0;
 
@@ -2463,7 +2147,7 @@ int texbody (void)
     bad = 15;
 
 #ifdef INCREASEFONTS
-  if (font_max > 1024)
+  if (font_max > 65535)
 #else
   if (font_max > 256)
 #endif
@@ -2481,7 +2165,7 @@ 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 (max_halfword < (mem_top - mem_min) / 2)
@@ -2489,14 +2173,10 @@ int texbody (void)
 
   if (bad > 0)
   {
-    sprintf(log_line, "%s%s%ld\n", "Ouch---my internal constants have been clobbered!",
+    printf("%s%s%ld\n", "Ouch---my internal constants have been clobbered!",
         "---case ", (long) bad);
-    show_line(log_line, 1);
 
-    if (!knuth_flag)
-      bad_formator_pool(format_file, "the format file", "TEXFORMATS");
-
-    goto lab9999;
+    goto final_end;
   }
 
   initialize();
@@ -2505,7 +2185,7 @@ int texbody (void)
   if (is_initex)
   {
     if (!get_strings_started())
-      goto lab9999;
+      goto final_end;
 
     init_prim();
     init_str_ptr = str_ptr;
@@ -2516,36 +2196,40 @@ int texbody (void)
 
   ready_already = 314159L;
 
-lab1:
+start_of_TEX:
   selector = term_only;
   tally = 0;
   term_offset = 0;
   file_offset = 0;
-  show_line(tex_version, 0);
 
   {
+    char dist_ver[256];
 #ifdef _WIN32
   #ifdef _WIN64
-    sprintf(log_line, " (%s %s/Windows 64bit)", application, yandyversion);
+    sprintf(dist_ver, "%s (%s %s/Win64)", tex_version, application, yandyversion);
   #else
-    sprintf(log_line, " (%s %s/Windows 32bit)", application, yandyversion);
+    sprintf(dist_ver, "%s (%s %s/Win32)", tex_version, application, yandyversion);
   #endif
 #else
-    sprintf(log_line, " (%s %s/Linux)", application, yandyversion);
+    sprintf(dist_ver, "%s (%s %s/Linux)", tex_version, application, yandyversion);
 #endif
+    prints(dist_ver);
   }
 
-  show_line(log_line, 0);
-
-  if (format_ident > 0)
+  if (format_ident == 0)
+  {
+    prints(" (preloaded format=");
+    prints(format_name);
+    prints(")");
+    print_ln();
+  }
+  else
+  {
     slow_print(format_ident);
+    print_ln();
+  }
 
-  print_ln();
-
-#ifndef _WINDOWS
-  fflush(stdout);
-#endif
-
+  update_terminal();
   job_name = 0;
   name_in_progress = false;
   log_opened = false;
@@ -2573,39 +2257,37 @@ lab1:
       scanner_status = 0;
       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;
+      name = 0;
       force_eof = false;
       align_state = 1000000L;
 
       if (!init_terminal())
-        goto lab9999;
+        goto final_end;
 
-      cur_input.limit_field = last;
+      limit = last;
       first = last + 1;
     }
     
-    if ((format_ident == 0) ||
-        (buffer[cur_input.loc_field] == '&') ||
-        (buffer[cur_input.loc_field] == '+'))
+    if ((format_ident == 0) || (buffer[loc] == '&') || (buffer[loc] == '+'))
     {
       if (format_ident != 0)
         initialize();
 
-      if (!open_fmt_file ())
-        goto lab9999;
+      if (!open_fmt_file())
+        goto final_end;
 
-      if (!load_fmt_file ())
+      if (!load_fmt_file())
       {
 #ifdef COMPACTFORMAT
         gzclose(gz_fmt_file);
 #else
         w_close(fmt_file);
 #endif
-        goto lab9999;
+        goto final_end;
       }
 
 #ifdef COMPACTFORMAT
@@ -2614,15 +2296,14 @@ lab1:
       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);
+    if (end_line_char_inactive())
+      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;
@@ -2632,8 +2313,7 @@ lab1:
     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();
   }
 
@@ -2641,7 +2321,7 @@ lab1:
     show_frozen();
 
   main_time = clock();
-  history = 0;
+  history = spotless;
 
   if (show_cs_names)
     print_cs_names(stdout, 0);
@@ -2652,10 +2332,9 @@ lab1:
     print_cs_names(stdout, 1);
 
   final_cleanup();
-
   close_files_and_terminate();
 
-lab9999:
+final_end:
   {
     int code;
 
@@ -2665,7 +2344,7 @@ lab9999:
 
     ready_already = 0;
 
-    if ((history != 0) && (history != 1))
+    if ((history != spotless) && (history != warning_issued))
       code = 1;
     else
       code = 0;
@@ -2675,7 +2354,7 @@ lab9999:
 }
 
 #ifdef ALLOCATEMAIN
-/* add a block of variable size node space below mem_bot */
+/* add a block of variable size node space below mem_bot(0) */
 void add_variable_space(int size)
 {
   halfword p;
@@ -2689,10 +2368,10 @@ void add_variable_space(int size)
 
   mem_min = t - (size + 1);     /* first word in new block - 1 */
 
-  if (mem_min < mem_start)      /* sanity test */
+  if (mem_min < mem_start)
   {
     if (trace_flag)
-      show_line("WARNING: mem_min < mem_start!\n", 0);
+      puts("WARNING: mem_min < mem_start!");
 
     mem_min = mem_start;
   }
@@ -2711,15 +2390,13 @@ void add_variable_space(int size)
 }
 #endif
 
-/**************************************************************************/
-
 #ifdef INITEX
 /* split out to allow sharing of code from do_initex and newpattern */
 void reset_trie (void)
 {
   integer k;
 
-  for (k = - (integer) trie_op_size; k <= trie_op_size; k++)
+  for (k = -(integer)trie_op_size; k <= trie_op_size; k++)
     trie_op_hash[k] = 0;
 
   for (k = 0; k <= 255; k++)
@@ -2734,7 +2411,7 @@ void reset_trie (void)
   trie_not_ready = true;
 }
 /* borrowed code from initialize() */
-void reset_hyphen (void)
+void reset_hyphen(void)
 {
   hyph_pointer z;
 
@@ -2749,9 +2426,9 @@ void reset_hyphen (void)
 /* split out to allow optimize for space, not time */
 void do_initex (void)
 {
-/*  integer i; */
+  /* integer i; */
   integer k;
-/*  hyph_pointer z; */
+  /* hyph_pointer z; */
 
   for (k = mem_bot + 1; k <= lo_mem_stat_max; k++)
     mem[k].cint = 0;
@@ -2766,15 +2443,15 @@ void do_initex (void)
     k = k + glue_spec_size;
   }
 
-  stretch(fil_glue) = 65535L;
+  stretch(fil_glue) = unity;
   stretch_order(fil_glue) = fil;
-  stretch(fill_glue) = 65535L;
+  stretch(fill_glue) = unity;
   stretch_order(fill_glue) = fill;
-  stretch(ss_glue) = 65535L;
+  stretch(ss_glue) = unity;
   stretch_order(ss_glue) = fil;
-  shrink(ss_glue) = 65535L;
+  shrink(ss_glue) = unity;
   shrink_order(ss_glue) = fil;
-  stretch(fil_neg_glue) = -65536L;
+  stretch(fil_neg_glue) = -unity;
   stretch_order(fil_neg_glue) = fil;
   rover = lo_mem_stat_max + 1;
   link(rover) = empty_flag;
@@ -2799,7 +2476,7 @@ void do_initex (void)
   link(mem_top) = page_ins_head;
   type(page_head) = glue_node;
   subtype(page_head) = normal;
-  avail = 0;                   /* avail <- null p.164 */
+  avail = 0;
   mem_end = mem_top;
   hi_mem_min = hi_mem_stat_min;
   var_used = lo_mem_stat_max + 1 - mem_bot;
@@ -2900,7 +2577,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 */
@@ -2929,10 +2606,14 @@ void do_initex (void)
   font_glue[null_font]        = 0;
   font_params[null_font]      = 7;
   param_base[null_font]       = -1;
+
+  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;
+  format_ident = 1251;            /* " (INITEX)" */
+  text(end_write) = 1290;         /* "endwrite" */
   eq_level(end_write) = level_one;
   eq_type(end_write) = outer_call;
   equiv(end_write) = 0;
@@ -2941,7 +2622,7 @@ void do_initex (void)
 
 #ifdef INITEX
 /* sec 0047 */
-bool get_strings_started (void)
+boolean get_strings_started (void)
 {
   integer k;
   str_number g;
@@ -2952,21 +2633,20 @@ bool get_strings_started (void)
 
   for (k = 0; k <= 255; k++)
   {
-    if (((k < ' ') || (k > '~')))
+    if ( (k < ' ') || (k > '~') )
     {
       append_char('^');
       append_char('^');
 
       if (k < 64)
         append_char(k + 64);
+      else if (k < 128)
+        append_char(k - 64);
       else
-        if (k < 128)
-          append_char(k - 64);
-        else
-        {
-          append_lc_hex(k / 16);
-          append_lc_hex(k % 16);
-        }
+      {
+        append_lc_hex(k / 16);
+        append_lc_hex(k % 16);
+      }
     }
     else
       append_char(k);
@@ -2978,22 +2658,22 @@ bool get_strings_started (void)
 
   if (g == 0)
   {
-    fprintf(stdout , "%s\n",  "! You have to increase POOLSIZE." );
+    fprintf(stdout, "%s\n", "! You have to increase POOLSIZE." );
     return false;
   }
 
   return true;
 }
-#endif /* INITEX */
+#endif
 
 #ifdef INITEX
 /* 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 = get_node(010000000000);
   p = rlink(rover);
   rlink(rover) = empty_flag;
   old_rover = rover;
@@ -3032,31 +2712,16 @@ 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)
 { 
   pool_pointer k;
   small_number j;
-/*  small_number l;  */
-  int l; /* 95/Jan/7 */
+  /* small_number l; */
+  int l;
 
   if (s < 256)
     cur_val = s + single_base;
@@ -3070,12 +2735,6 @@ void primitive_ (str_number s, quarterword c, halfword o)
 
     cur_val = id_lookup(0, l);
     flush_string();
-
-#ifdef SHORTHASH
-    if (s > 65535L)
-      show_line("ERROR: hash entry too large\n", 1);
-#endif
-
     text(cur_val) = s;
   }
 
@@ -3104,7 +2763,7 @@ trie_op_code new_trie_op_ (small_number d, small_number n, trie_op_code v)
       if (trie_op_ptr == trie_op_size)
       {
         overflow("pattern memory ops", trie_op_size);
-        return 0;     // abort_flag set
+        return 0;
       }
 
       u = trie_used[cur_lang];
@@ -3112,7 +2771,7 @@ trie_op_code new_trie_op_ (small_number d, small_number n, trie_op_code v)
       if (u == max_trie_op)
       {
         overflow("pattern memory ops per language", max_trie_op - min_trie_op);
-        return 0;     // abort_flag set
+        return 0;
       }
 
       incr(trie_op_ptr);
@@ -3208,8 +2867,7 @@ void first_fit_ (trie_pointer p)
       if (trie_size <= h + 256)
       {
         overflow("pattern memory", trie_size);
-/*      not dynamic ---- but can be set -h=... from command line in ini-TeX */
-        return;     // abort_flag set
+        return;
       }
 
       do
@@ -3223,24 +2881,26 @@ void first_fit_ (trie_pointer p)
     }
 
     if (trie_taken[h])
-      goto lab45;
+      goto not_found;
 
     q = trie_r[p];
 
     while (q > 0)
     {
       if (trie_trl[h + trie_c[q]] == 0)
-        goto lab45;
+        goto not_found;
 
       q = trie_r[q];
     }
 
-    goto lab40;
-lab45:
+    goto found;
+
+not_found:
     z = trie_trl[z];
   }
-lab40:
-  trie_taken[h] = true; /* h may be used without ... */
+
+found:
+  trie_taken[h] = true;
   trie_hash[p] = h;
   q = p;
 
@@ -3289,7 +2949,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)
@@ -3313,35 +2973,32 @@ void trie_fix_ (trie_pointer p)
 
       p = trie_r[p];
     }
-  while(!(p == 0));
+  while (!(p == 0));
 }
 /* sec 0960 */
 void new_patterns (void)
 {
-/* ******************************************************************* */
-/*  was small_number k, l;  in 3.141 */
   char k, l;
-/* ******************************************************************* */
-  bool digitsensed;
+  boolean digit_sensed;
   trie_op_code v;
   trie_pointer p, q;
-  bool firstchild;
-/*  ASCII_code c;  */
-  int c;                /* 95/Jan/7 */
+  boolean first_child;
+  /* ASCII_code c; */
+  int c;
 
   if (!trie_not_ready) /* new stuff */
   {
     if (allow_patterns)
     {
       if (trace_flag)
-        show_line("Resetting patterns\n", 0);
+        puts("Resetting patterns");
 
       reset_trie();         /* RESET PATTERNS -  93/Nov/26 */
 
       if (reset_exceptions)
       {
         if (trace_flag)
-          show_line("Resetting exceptions\n", 0);
+          puts("Resetting exceptions");
 
         reset_hyphen();     /* RESET HYPHENEXCEPTIONS -  93/Nov/26 */
       }
@@ -3354,7 +3011,7 @@ void new_patterns (void)
     scan_left_brace();
     k = 0;
     hyf[0] = 0;
-    digitsensed = false;
+    digit_sensed = false;
 
     while (true)
     {
@@ -3364,7 +3021,7 @@ void new_patterns (void)
       {
         case letter:
         case other_char:
-          if (digitsensed || (cur_chr < '0') || (cur_chr > '9'))
+          if (digit_sensed || (cur_chr < '0') || (cur_chr > '9'))
           {
             if (cur_chr == '.')
               cur_chr = 0;
@@ -3385,13 +3042,13 @@ void new_patterns (void)
               incr(k);
               hc[k] = cur_chr;
               hyf[k] = 0;
-              digitsensed = false;
+              digit_sensed = false;
             }
           }
           else if (k < 63)
           {
             hyf[k] = cur_chr - '0';
-            digitsensed = true;
+            digit_sensed = true;
           }
           break;
         case spacer:
@@ -3415,9 +3072,9 @@ void new_patterns (void)
                 if (l > 0)
                   decr(l);
                 else
-                  goto lab31;
+                  goto done1;
               }
-lab31:
+done1:
               q = 0;
               hc[0] = cur_lang;
 
@@ -3425,21 +3082,20 @@ lab31:
                 c = hc[l];
                 incr(l);
                 p = trie_l[q];
-                firstchild = true;
+                first_child = true;
 
                 while ((p > 0) && (c > trie_c[p])) {
                   q = p;
                   p = trie_r[q];
-                  firstchild = false;
+                  first_child = false;
                 }
 
                 if ((p == 0) || (c < trie_c[p]))
                 {
                   if (trie_ptr == trie_size)
                   {
-                    overflow("pattern memory", trie_size);  /* pattern memory - NOT DYNAMIC */
-/*      not dynamic ---- but can be set -h=... from command line in ini-TeX */
-                    return;     // abort_flag set
+                    overflow("pattern memory", trie_size);
+                    return;
                   }
 
                   incr(trie_ptr);
@@ -3447,7 +3103,7 @@ lab31:
                   p = trie_ptr;
                   trie_l[p] = 0;
 
-                  if (firstchild)
+                  if (first_child)
                     trie_l[q]= p;
                   else
                     trie_r[q]= p;
@@ -3455,6 +3111,7 @@ lab31:
                   trie_c[p] = c;
                   trie_o[p] = min_trie_op;
                 }
+
                 q = p;
               }
 
@@ -3469,11 +3126,11 @@ lab31:
             }
 
             if (cur_cmd == right_brace)
-              goto lab30;
+              goto done;
 
             k = 0;
             hyf[0] = 0;
-            digitsensed = false;
+            digit_sensed = false;
           }
           break;
         default:
@@ -3486,7 +3143,7 @@ lab31:
           break;
       }
     }
-lab30:;
+done:;
   }
   else
   {
@@ -3502,9 +3159,9 @@ lab30:;
 void init_trie (void)
 {
   trie_pointer p;
-/*  integer j, k, t;  */
+  /* integer j, k, t; */
   integer j, k;
-  int t;                  /* 95/Jan/7 */
+  int t;
   trie_pointer r, s;
 
   op_start[0] = - (integer) min_trie_op;
@@ -3590,30 +3247,29 @@ void init_trie (void)
 
         r = s;
       }
-    while(!(r > trie_max));
+    while (!(r > trie_max));
   }
 
   trie_trc[0] = 63;
   trie_not_ready = false;
 }
-#endif /* INITEX */
+#endif
 
 #ifdef INITEX
 /* sec 1302 */
 void store_fmt_file (void)
 {
   integer j, k, l;
-  halfword p, q;
+  pointer p, q;
   integer x;
 
   if (!is_initex)
   {
-    show_line("! \\dump is performed only by INITEX\n", 1);
+    puts("! \\dump is performed only by INITEX");
 
-    if (! knuth_flag)
-      show_line("  (Use -i on the command line)\n", 0);
+    if (!knuth_flag)
+      puts("  (Use -i on the command line)");
 
-    abort_flag++;
     return;
   }
 
@@ -3625,7 +3281,7 @@ void store_fmt_file (void)
   }
 
   selector = new_string;
-  print_string(" (format=");
+  prints(" (format=");
   print(job_name);
   print_char(' ');
   print_int(year);
@@ -3644,7 +3300,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");
   }
@@ -3655,13 +3311,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);
 
@@ -3673,7 +3328,7 @@ void store_fmt_file (void)
 
   print_ln();
   print_int(str_ptr);
-  print_string(" strings of total length ");
+  prints(" strings of total length ");
   print_int(pool_ptr);
 
   sort_avail();
@@ -3715,14 +3370,14 @@ void store_fmt_file (void)
   while (p != 0)
   {
     decr(dyn_used);
-    p = mem[p].hh.v.RH;
+    p = link(p);
   }
 
   dump_int(var_used);
   dump_int(dyn_used);
   print_ln();
   print_int(x);
-  print_string(" memory locations dumped; current usage is ");
+  prints(" memory locations dumped; current usage is ");
   print_int(var_used);
   print_char('&');
   print_int(dyn_used);
@@ -3738,24 +3393,28 @@ void store_fmt_file (void)
         if ((equiv(j) == equiv(j + 1)) &&
           (eq_type(j) == eq_type(j + 1)) &&
           (eq_level(j) == eq_level(j + 1)))
-          goto lab41;
+          goto found1;
+
         incr(j);
       }
 
       l = (int_base);
-      goto lab31;
-lab41:
+      goto done1;
+
+found1:
       incr(j);
       l = j;
+
       while (j < (int_base - 1))
       {
         if ((equiv(j) != equiv(j + 1)) ||
           (eq_type(j) != eq_type(j + 1)) ||
           (eq_level(j) != eq_level(j + 1)))
-          goto lab31;
+          goto done1;
         incr(j);
       }
-lab31:
+
+done1:
       dump_int(l - k);
 
       if (dumpthings(eqtb[k], l - k))
@@ -3773,23 +3432,27 @@ lab31:
       while (j < (eqtb_size))
       {
         if (eqtb[j].cint == eqtb[j + 1].cint)
-          goto lab42;
+          goto found2;
+
         incr(j);
       }
 
       l = (eqtb_size + 1);
-      goto lab32;
-lab42:
+      goto done2;
+
+found2:
       incr(j);
       l = j;
 
       while (j < (eqtb_size))
       {
         if (eqtb[j].cint != eqtb[j + 1].cint)
-          goto lab32;
+          goto done2;
+
         incr(j);
       }
-lab32:
+
+done2:
       dump_int(l - k);
 
       if (dumpthings(eqtb[k], l - k))
@@ -3807,11 +3470,8 @@ lab32:
   cs_count = frozen_control_sequence - 1 - hash_used;
 
   if (trace_flag)
-  {
-    sprintf(log_line, "itex cs_count %d hash_size %d hash_extra %d hash_used %d",
+    printf("itex cs_count %lld hash_size %d hash_extra %d hash_used %d",
         cs_count, hash_size, hash_extra, hash_used);
-    show_line(log_line, 0);
-  }
 
   for (p = hash_base; p <= hash_used; p++)
   {
@@ -3822,10 +3482,7 @@ lab32:
       incr(cs_count);
 
       if (trace_flag)
-      {
-        sprintf(log_line, "itex cs_count++ ");
-        show_line(log_line, 0);
-      }
+        puts("itex cs_count++ ");
     }
   }
 
@@ -3835,7 +3492,7 @@ lab32:
   dump_int(cs_count);
   print_ln();
   print_int(cs_count);
-  print_string(" multiletter control sequences");
+  prints(" multiletter control sequences");
 
   dump_int(fmem_ptr);
 
@@ -3924,18 +3581,18 @@ lab32:
 
       if (font_size[k] != font_dsize[k])
       {
-        print_string(" at ");
+        prints(" at ");
         print_scaled(font_size[k]);
-        print_string("pt");
+        prints("pt");
       }
     }
   }
 
   print_ln();
   print_int(fmem_ptr - 7);
-  print_string(" words of font info for ");
+  prints(" words of font info for ");
   print_int(font_ptr - 0);
-  print_string(" preloaded font");
+  prints(" preloaded font");
 
   if (font_ptr != 1)
     print_char('s');
@@ -3954,7 +3611,7 @@ lab32:
 
   print_ln();
   print_int(hyph_count);
-  print_string(" hyphenation exception");
+  prints(" hyphenation exception");
 
   if (hyph_count != 1)
     print_char('s');
@@ -3986,14 +3643,14 @@ lab32:
 
   print_nl("Hyphenation trie of length ");
   print_int(trie_max);
-  print_string(" has ");
+  prints(" has ");
   print_int(trie_op_ptr);
-  print_string(" op");
+  prints(" op");
 
   if (trie_op_ptr != 1)
     print_char('s');
 
-  print_string(" out of ");
+  prints(" out of ");
   print_int(trie_op_size);
 
   for (k = 255; k >= 0; k--)
@@ -4002,7 +3659,7 @@ lab32:
     {
       print_nl("  ");
       print_int(trie_used[k]);
-      print_string(" for language ");
+      prints(" for language ");
       print_int(k);
       dump_int(k);
       dump_int(trie_used[k]);
@@ -4027,6 +3684,7 @@ lab32:
 void init_prim (void)
 {
   no_new_control_sequence = false;
+  /* sec 0266 */
   primitive("lineskip", assign_glue, glue_base + line_skip_code);
   primitive("baselineskip", assign_glue, glue_base + baseline_skip_code);
   primitive("parskip", assign_glue, glue_base + par_skip_code);
@@ -4045,6 +3703,7 @@ void init_prim (void)
   primitive("thinmuskip", assign_mu_glue, glue_base + thin_mu_skip_code);
   primitive("medmuskip", assign_mu_glue, glue_base + med_mu_skip_code);
   primitive("thickmuskip", assign_mu_glue, glue_base + thick_mu_skip_code);
+  /* sec 0230 */
   primitive("output", assign_toks, output_routine_loc);
   primitive("everypar", assign_toks, every_par_loc);
   primitive("everymath", assign_toks, every_math_loc);
@@ -4054,6 +3713,7 @@ void init_prim (void)
   primitive("everyjob", assign_toks, every_job_loc);
   primitive("everycr", assign_toks, every_cr_loc);
   primitive("errhelp", assign_toks, err_help_loc);
+  /* sec 0238 */
   primitive("pretolerance", assign_int, int_base + pretolerance_code);
   primitive("tolerance", assign_int, int_base + tolerance_code);
   primitive("linepenalty", assign_int, int_base + line_penalty_code);
@@ -4109,6 +3769,7 @@ void init_prim (void)
   primitive("righthyphenmin", assign_int, int_base + right_hyphen_min_code);
   primitive("holdinginserts", assign_int, int_base + holding_inserts_code);
   primitive("errorcontextlines", assign_int, int_base + error_context_lines_code);
+  /* sec 0248 */
   primitive("parindent", assign_dimen, dimen_base + par_indent_code);
   primitive("mathsurround", assign_dimen, dimen_base + math_surround_code);
   primitive("lineskiplimit", assign_dimen, dimen_base + line_skip_limit_code);
@@ -4182,63 +3843,63 @@ void init_prim (void)
   par_token = cs_token_flag + par_loc;
   primitive("input", input, 0);
   primitive("endinput", input, 1);
-  primitive("topmark", top_bot_mark, 0);
-  primitive("firstmark", top_bot_mark, 1);
-  primitive("botmark", top_bot_mark, 2);
-  primitive("splitfirstmark", top_bot_mark, 3);
-  primitive("splitbotmark", top_bot_mark, 4);
-  primitive("count", tex_register, 0);
-  primitive("dimen", tex_register, 1);
-  primitive("skip", tex_register, 2);
-  primitive("muskip", tex_register, 3);
-  primitive("spacefactor", set_aux, 102);
-  primitive("prevdepth", set_aux, 1);
+  primitive("topmark", top_bot_mark, top_mark_code);
+  primitive("firstmark", top_bot_mark, first_mark_code);
+  primitive("botmark", top_bot_mark, bot_mark_code);
+  primitive("splitfirstmark", top_bot_mark, split_first_mark_code);
+  primitive("splitbotmark", top_bot_mark, split_bot_mark_code);
+  primitive("count", tex_register, int_val);
+  primitive("dimen", tex_register, dimen_val);
+  primitive("skip", tex_register, glue_val);
+  primitive("muskip", tex_register, mu_val);
+  primitive("spacefactor", set_aux, hmode);
+  primitive("prevdepth", set_aux, vmode);
   primitive("deadcycles", set_page_int, 0);
   primitive("insertpenalties", set_page_int, 1);
-  primitive("wd", set_box_dimen, 1);
-  primitive("ht", set_box_dimen, 3);
-  primitive("dp", set_box_dimen, 2);
-  primitive("lastpenalty", last_item, 0);
-  primitive("lastkern", last_item, 1);
-  primitive("lastskip", last_item, 2);
-  primitive("inputlineno", last_item, 3);
-  primitive("badness", last_item, 4);
-  primitive("number", convert, 0);
-  primitive("romannumeral", convert, 1);
-  primitive("string", convert, 2);
-  primitive("meaning", convert, 3);
-  primitive("fontname", convert, 4);
-  primitive("jobname", convert, 5);
-  primitive("if", if_test, 0);
-  primitive("ifcat", if_test, 1);
-  primitive("ifnum", if_test, 2);
-  primitive("ifdim", if_test, 3);
-  primitive("ifodd", if_test, 4);
-  primitive("ifvmode", if_test, 5);
-  primitive("ifhmode", if_test, 6);
-  primitive("ifmmode", if_test, 7);
-  primitive("ifinner", if_test, 8);
-  primitive("ifvoid", if_test, 9);
-  primitive("ifhbox", if_test, 10);
-  primitive("ifvbox", if_test, 11);
-  primitive("ifx", if_test, 12);
-  primitive("ifeof", if_test, 13);
-  primitive("iftrue", if_test, 14);
-  primitive("iffalse", if_test, 15);
-  primitive("ifcase", if_test, 16);
-  primitive("fi", fi_or_else, 2);
+  primitive("wd", set_box_dimen, width_offset);
+  primitive("ht", set_box_dimen, height_offset);
+  primitive("dp", set_box_dimen, depth_offset);
+  primitive("lastpenalty", last_item, int_val);
+  primitive("lastkern", last_item, dimen_val);
+  primitive("lastskip", last_item, glue_val);
+  primitive("inputlineno", last_item, input_line_no_code);
+  primitive("badness", last_item, badness_code);
+  primitive("number", convert, number_code);
+  primitive("romannumeral", convert, roman_numeral_code);
+  primitive("string", convert, string_code);
+  primitive("meaning", convert, meaning_code);
+  primitive("fontname", convert, font_name_code);
+  primitive("jobname", convert, job_name_code);
+  primitive("if", if_test, if_char_code);
+  primitive("ifcat", if_test, if_cat_code);
+  primitive("ifnum", if_test, if_int_code);
+  primitive("ifdim", if_test, if_dim_code);
+  primitive("ifodd", if_test, if_odd_code);
+  primitive("ifvmode", if_test, if_vmode_code);
+  primitive("ifhmode", if_test, if_hmode_code);
+  primitive("ifmmode", if_test, if_mmode_code);
+  primitive("ifinner", if_test, if_inner_code);
+  primitive("ifvoid", if_test, if_void_code);
+  primitive("ifhbox", if_test, if_hbox_code);
+  primitive("ifvbox", if_test, if_vbox_code);
+  primitive("ifx", if_test, ifx_code);
+  primitive("ifeof", if_test, if_eof_code);
+  primitive("iftrue", if_test, if_true_code);
+  primitive("iffalse", if_test, if_false_code);
+  primitive("ifcase", if_test, if_case_code);
+  primitive("fi", fi_or_else, fi_code);
   text(frozen_fi) = make_string_pool("fi");
   eqtb[frozen_fi] = eqtb[cur_val];
-  primitive("or", fi_or_else, 4);
-  primitive("else", fi_or_else, 3);
-  primitive("nullfont", set_font, 0);
+  primitive("or", fi_or_else, or_code);
+  primitive("else", fi_or_else, else_code);
+  primitive("nullfont", set_font, null_font);
   text(frozen_null_font) = 795;
   eqtb[frozen_null_font] = eqtb[cur_val];
-  primitive("span", tab_mark, 256);
-  primitive("cr", car_ret, 257);
+  primitive("span", tab_mark, span_code);
+  primitive("cr", car_ret, cr_code);
   text(frozen_cr) = make_string_pool("cr");
   eqtb[frozen_cr] = eqtb[cur_val];
-  primitive("crcr", car_ret, 258);
+  primitive("crcr", car_ret, cr_cr_code);
   text(frozen_end_template) = make_string_pool("endtemplate");
   text(frozen_endv) = make_string_pool("endtemplate");
   eq_type(frozen_endv) = endv;
@@ -4256,72 +3917,72 @@ void init_prim (void)
   primitive("pagedepth", set_page_dimen, 7);
   primitive("end", end_match, 0);
   primitive("dump", stop, 1);
-  primitive("hskip", hskip, 4);
-  primitive("hfil", hskip, 0);
-  primitive("hfill", hskip, 1);
-  primitive("hss", hskip, 2);
-  primitive("hfilneg", hskip, 3);
-  primitive("vskip", vskip, 4);
-  primitive("vfil", vskip, 0);
-  primitive("vfill", vskip, 1);
-  primitive("vss", vskip, 2);
-  primitive("vfilneg", vskip, 3);
-  primitive("mskip", mskip, 5);
-  primitive("kern", kern, 1);
-  primitive("mkern", mkern, 99);
+  primitive("hskip", hskip, skip_code);
+  primitive("hfil", hskip, fil_code);
+  primitive("hfill", hskip, fill_code);
+  primitive("hss", hskip, ss_code);
+  primitive("hfilneg", hskip, fil_neg_code);
+  primitive("vskip", vskip, skip_code);
+  primitive("vfil", vskip, fil_code);
+  primitive("vfill", vskip, fill_code);
+  primitive("vss", vskip, ss_code);
+  primitive("vfilneg", vskip, fil_neg_code);
+  primitive("mskip", mskip, mskip_code);
+  primitive("kern", kern, explicit);
+  primitive("mkern", mkern, mu_glue);
   primitive("moveleft", hmove, 1);
   primitive("moveright", hmove, 0);
   primitive("raise", vmove, 1);
   primitive("lower", vmove, 0);
-  primitive("box", make_box, 0);
-  primitive("copy", make_box, 1);
-  primitive("lastbox", make_box, 2);
-  primitive("vsplit", make_box, 3);
-  primitive("vtop", make_box, 4);
-  primitive("vbox", make_box, 5);
-  primitive("hbox", make_box, 106);
-  primitive("shipout", leader_ship, 99);
-  primitive("leaders", leader_ship, 100);
-  primitive("cleaders", leader_ship, 101);
-  primitive("xleaders", leader_ship, 102);
+  primitive("box", make_box, box_code);
+  primitive("copy", make_box, copy_code);
+  primitive("lastbox", make_box, last_box_code);
+  primitive("vsplit", make_box, vsplit_code);
+  primitive("vtop", make_box, vtop_code);
+  primitive("vbox", make_box, vtop_code + vmode);
+  primitive("hbox", make_box, vtop_code + hmode);
+  primitive("shipout", leader_ship, a_leaders - 1);
+  primitive("leaders", leader_ship, a_leaders);
+  primitive("cleaders", leader_ship, c_leaders);
+  primitive("xleaders", leader_ship, x_leaders);
   primitive("indent", start_par, 1);
   primitive("noindent", start_par, 0);
-  primitive("unpenalty", remove_item, 12);
-  primitive("unkern", remove_item, 11);
-  primitive("unskip", remove_item, 10);
-  primitive("unhbox", un_hbox, 0);
-  primitive("unhcopy", un_hbox, 1);
-  primitive("unvbox", un_vbox, 0);
-  primitive("unvcopy", un_vbox, 1);
+  primitive("unpenalty", remove_item, penalty_node);
+  primitive("unkern", remove_item, kern_node);
+  primitive("unskip", remove_item, glue_node);
+  primitive("unhbox", un_hbox, box_code);
+  primitive("unhcopy", un_hbox, copy_code);
+  primitive("unvbox", un_vbox, box_code);
+  primitive("unvcopy", un_vbox, copy_code);
   primitive("-", discretionary, 1);
   primitive("discretionary", discretionary, 0);
   primitive("eqno", eq_no, 0);
   primitive("leqno", eq_no, 1);
-  primitive("mathord", math_comp, 16);
-  primitive("mathop", math_comp, 17);
-  primitive("mathbin", math_comp, 18);
-  primitive("mathrel", math_comp, 19);
-  primitive("mathopen", math_comp, 20);
-  primitive("mathclose", math_comp, 21);
-  primitive("mathpunct", math_comp, 22);
-  primitive("mathinner", math_comp, 23);
-  primitive("underline", math_comp, 26);
-  primitive("overline", math_comp, 27);
-  primitive("displaylimits", limit_switch, 0);
-  primitive("limits", limit_switch, 1);
-  primitive("nolimits", limit_switch, 2);
-  primitive("displaystyle", math_style, 0);
-  primitive("textstyle", math_style, 2);
-  primitive("scriptstyle", math_style, 4);
-  primitive("scriptscriptstyle", math_style, 6);
-  primitive("above", above, 0);
-  primitive("over", above, 1);
-  primitive("atop", above, 2);
-  primitive("abovewithdelims", above, 3);
-  primitive("overwithdelims", above, 4);
-  primitive("atopwithdelims", above, 5);
-  primitive("left", left_right, 30);
-  primitive("right", left_right, 31);
+  primitive("mathord", math_comp, ord_noad);
+  primitive("mathop", math_comp, op_noad);
+  primitive("mathbin", math_comp, bin_noad);
+  primitive("mathrel", math_comp, rel_noad);
+  primitive("mathopen", math_comp, open_noad);
+  primitive("mathclose", math_comp, close_noad);
+  primitive("mathpunct", math_comp, punct_noad);
+  primitive("mathinner", math_comp, inner_noad);
+  primitive("underline", math_comp, under_noad);
+  primitive("overline", math_comp, over_noad);
+  primitive("displaylimits", limit_switch, normal);
+  primitive("limits", limit_switch, limits);
+  primitive("nolimits", limit_switch, no_limits);
+  primitive("displaystyle", math_style, display_style);
+  primitive("textstyle", math_style, text_style);
+  primitive("scriptstyle", math_style, script_style);
+  primitive("scriptscriptstyle", math_style, script_script_style);
+  primitive("above", above, above_code);
+  primitive("over", above, over_code);
+  primitive("atop", above, atop_code);
+  primitive("abovewithdelims", above, delimited_code + above_code);
+  primitive("overwithdelims", above, delimited_code + over_code);
+  primitive("atopwithdelims", above, delimited_code + atop_code);
+  primitive("left", left_right, left_noad);
+  primitive("right", left_right, right_noad);
   text(frozen_right) = make_string_pool("right");
   eqtb[frozen_right] = eqtb[cur_val]; 
   primitive("long", prefix, 1);
@@ -4331,49 +3992,49 @@ void init_prim (void)
   primitive("gdef", def, 1);
   primitive("edef", def, 2);
   primitive("xdef", def, 3);
-  primitive("let", let, 0);
-  primitive("futurelet", let, 1);
-  primitive("chardef", shorthand_def, 0);
-  primitive("mathchardef", shorthand_def, 1);
-  primitive("countdef", shorthand_def, 2);
-  primitive("dimendef", shorthand_def, 3);
-  primitive("skipdef", shorthand_def, 4);
-  primitive("muskipdef", shorthand_def, 5);
-  primitive("toksdef", shorthand_def, 6);
+  primitive("let", let, normal);
+  primitive("futurelet", let, normal + 1);
+  primitive("chardef", shorthand_def, char_def_code);
+  primitive("mathchardef", shorthand_def, math_char_def_code);
+  primitive("countdef", shorthand_def, count_def_code);
+  primitive("dimendef", shorthand_def, dimen_def_code);
+  primitive("skipdef", shorthand_def, skip_def_code);
+  primitive("muskipdef", shorthand_def, mu_skip_def_code);
+  primitive("toksdef", shorthand_def, toks_def_code);
   primitive("catcode", def_code, cat_code_base);
   primitive("mathcode", def_code, math_code_base);
   primitive("lccode", def_code, lc_code_base);
   primitive("uccode", def_code, uc_code_base);
   primitive("sfcode", def_code, sf_code_base);
-  primitive("delcode", def_code, (hash_size + 3474));
-  primitive("textfont", def_family, (hash_size + 1835));
-  primitive("scriptfont", def_family, (hash_size + 1851));
-  primitive("scriptscriptfont", def_family, (hash_size + 1867));
+  primitive("delcode", def_code, del_code_base);
+  primitive("textfont", def_family, math_font_base);
+  primitive("scriptfont", def_family, math_font_base + script_size);
+  primitive("scriptscriptfont", def_family, math_font_base + script_script_size);
   primitive("hyphenation", hyph_data, 0);
   primitive("patterns", hyph_data, 1);
   primitive("hyphenchar", assign_font_int, 0);
   primitive("skewchar", assign_font_int, 1);
-  primitive("batchmode", set_interaction, 0);
-  primitive("nonstopmode", set_interaction, 1);
-  primitive("scrollmode", set_interaction, 2);
-  primitive("errorstopmode", set_interaction, 3);
+  primitive("batchmode", set_interaction, batch_mode);
+  primitive("nonstopmode", set_interaction, nonstop_mode);
+  primitive("scrollmode", set_interaction, scroll_mode);
+  primitive("errorstopmode", set_interaction, error_stop_mode);
   primitive("openin", in_stream, 1);
   primitive("closein", in_stream, 0);
   primitive("message", message, 0);
   primitive("errmessage", message, 1);
-  primitive("lowercase", case_shift, (hash_size + 2139));
-  primitive("uppercase", case_shift, (hash_size + 2395));
-  primitive("show", xray, 0);
-  primitive("showbox", xray, 1);
-  primitive("showthe", xray, 2);
-  primitive("showlists", xray, 3);
-  primitive("openout", extension, 0);
-  primitive("write", extension, 1);
+  primitive("lowercase", case_shift, lc_code_base);
+  primitive("uppercase", case_shift, uc_code_base);
+  primitive("show", xray, show_code);
+  primitive("showbox", xray, show_box_code);
+  primitive("showthe", xray, show_the_code);
+  primitive("showlists", xray, show_lists);
+  primitive("openout", extension, open_node);
+  primitive("write", extension, write_node);
   write_loc = cur_val;
-  primitive("closeout", extension, 2);
-  primitive("special", extension, 3);
-  primitive("immediate", extension, 4);
-  primitive("setlanguage", extension, 5);
+  primitive("closeout", extension, close_node);
+  primitive("special", extension, special_node);
+  primitive("immediate", extension, immediate_code);
+  primitive("setlanguage", extension, set_language_code);
   no_new_control_sequence = true; 
 }
-#endif
\ No newline at end of file
+#endif