OSDN Git Service

updated with TeX Live 2014.
[putex/putex.git] / src / texsourc / itex.c
index 3160750..87c35d0 100644 (file)
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301 USA.  */
 
-#ifdef _WINDOWS
-  #define NOCOMM
-  #define NOSOUND
-  #define NODRIVERS
-  #define STRICT
-  #pragma warning(disable:4115) // kill rpcasync.h complaint
-  #include <windows.h>
-  #define MYLIBAPI __declspec(dllexport)
-#endif
-
-#include "texwin.h"
-
-#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
-
-#include <setjmp.h>
-
 #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 */
-
-/* imported from pascal.h */
-/* localized here to avoid conflict with io.h in other code */
-
-#define read(f, b) ((b) = getc (f))
-#define readln(f) { register int c; while ((c = getc (f)) != '\n' && c != EOF); }
+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)
 {
   integer i; 
   integer k; 
   integer flag; /* bkph */
+
 #ifndef ALLOCATEHYPHEN
   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] = '\'';
@@ -108,12 +77,12 @@ 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;
+
 #ifdef JOKE
   for (i = 128; i <= 255 ; i++)
     xord[xchr[i]] = i;
@@ -121,44 +90,38 @@ 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:");
+
       for (k = 0; k < 256; k++)
       {
-/*  entries in xord / xchr */
         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]);
       }
     }
   }
-/* may now set in local.c bkph */
-  if (interaction < 0)
+
+  if (interaction < batch_mode)
     interaction = error_stop_mode;
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
+
   deletions_allowed = true;
   set_box_allowed = true;
   error_count = 0;
@@ -166,45 +129,47 @@ 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;
   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;
   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;
   page_so_far[7] = 0;
   page_max_depth = 0;
+
   for (k = int_base; k <= eqtb_size; k++)
-    xeq_level[k] = 1;
+    xeq_level[k] = level_one;
+
   no_new_control_sequence = true;
-  hash[hash_base].v.LH = 0; /* next(hash_base):= 0 */
-  hash[hash_base].v.RH = 0; /* text(hash_base):= 0 */
-/* 514 + hash_size + 266 = hashbase + hashsize + 10 + font_max  */
-/* for k <- hashbase+1 to undefined_control_sequence - 1 do ... p.257 */
+  next(hash_base) = 0;
+  text(hash_base) = 0;
+
   for (k = hash_base + 1; k <= undefined_control_sequence - 1; k++)
     hash[k] = hash[hash_base];
+
   save_ptr = 0;
   cur_level = 1;
   cur_group = 0;
@@ -220,14 +185,18 @@ void initialize (void)
   cur_val_level = 0;
   radix = 0;
   cur_order = 0;
+
   for (k = 0; k <= 16; k++)
     read_open[k] = 2;
+
   cond_ptr = 0;
   if_limit = 0;
   cur_if = 0;
   if_line = 0;
+
   for (k = 0; k <= font_max; k++)
     font_used[k] = false;
+
   null_character.b0 = 0;
   null_character.b1 = 0;
   null_character.b2 = 0;
@@ -245,14 +214,13 @@ void initialize (void)
   dvi_ptr = 0;
   dvi_offset = 0;
   dvi_gone = 0;
-/* down_ptr:=null; right_ptr:=null; l.12027 */
   down_ptr = 0;
   right_ptr = 0;
   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;
@@ -263,14 +231,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;
@@ -282,22 +252,18 @@ void initialize (void)
   after_token = 0;
   long_help_seen = false;
   format_ident = 0;
+
   for (k = 0; k <= 17; k++)
     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[] */
@@ -308,92 +274,76 @@ 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; */
 /*  page_contents = 0; */
   page_tail = page_head;
-  //mem[mem_top - 2].hh.v.RH = 0;
   link(page_head) = 0;
 }
 #endif  // end of ifdef ALLOCATEMAIN
-
-void line_break_ (integer finalwidowpenalty)
+/* sec 0815 */
+void line_break_ (integer final_widow_penalty)
 {
-  bool autobreaking;
-  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;
-  mem[temp_head].hh.v.RH = link(head);
-  if ((tail >= hi_mem_min))
-  {
-    link(tail) = new_penalty(10000);
-    tail = link(tail);
-  } 
-  else if (mem[tail].hh.b0 != 10)
-  {
-    link(tail) = new_penalty(10000);
-    tail = link(tail);
-  }
+  link(temp_head) = link(head);
+
+  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) = 12;
-    delete_glue_ref(mem[tail + 1].hh.v.LH);
-    flush_node_list(mem[tail + 1].hh.v.RH);
-    mem[tail + 1].cint = 10000;
+    type(tail) = penalty_node;
+    delete_glue_ref(glue_ptr(tail));
+    flush_node_list(leader_ptr(tail));
+    penalty(tail) = inf_penalty;
   }
+
   link(tail) = new_param_glue(par_fill_skip_code);
-/* *********************************************************************** */
-/* following is new in 3.14159 */
   init_cur_lang = prev_graf % 65536L;
   init_l_hyf = prev_graf / 4194304L; /* 2^22 */
-  init_r_hyf = (prev_graf / 65536L)% 64;
-/* *********************************************************************** */
+  init_r_hyf = (prev_graf / 65536L) % 64;
   pop_nest();
-  noshrinkerroryet = true;
-  if ((mem[eqtb[(hash_size + 789)].hh.v.RH].hh.b1 != 0) &&
-      (mem[eqtb[(hash_size + 789)].hh.v.RH + 3].cint != 0))
-  {
-    eqtb[(hash_size + 789)].hh.v.RH = finite_shrink(eqtb[(hash_size + 789)].hh.v.RH);
-  }
-  if ((mem[eqtb[(hash_size + 790)].hh.v.RH].hh.b1 != 0) &&
-      (mem[eqtb[(hash_size + 790)].hh.v.RH + 3].cint != 0))
-  {
-    eqtb[(hash_size + 790)].hh.v.RH = finite_shrink(eqtb[(hash_size + 790)].hh.v.RH);
-  }
-  q = eqtb[(hash_size + 789)].hh.v.RH;
-  r = eqtb[(hash_size + 790)].hh.v.RH;
-  background[1] = mem[q + 1].cint + mem[r + 1].cint;
+  no_shrink_error_yet = true;
+  check_shrinkage(left_skip);
+  check_shrinkage(right_skip);
+  q = left_skip;
+  r = right_skip;
+  background[1] = width(q) + width(r);
   background[2] = 0;
   background[3] = 0;
   background[4] = 0;
   background[5] = 0;
-  background[2 + mem[q].hh.b0] = mem[q + 2].cint;
-  background[2 + mem[r].hh.b0] = background[2 + mem[r].hh.b0] + mem[r + 2].cint;
-  background[6] = mem[q + 3].cint + mem[r + 3].cint;
-  minimum_demerits = 1073741823L; /* 2^30 - 1 *//* 40000000 hex - 1 */
-  minimal_demerits[3] = 1073741823L;
-  minimal_demerits[2] = 1073741823L;
-  minimal_demerits[1] = 1073741823L;
-  minimal_demerits[0] = 1073741823L;
+  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 = 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)
     {
@@ -404,13 +354,16 @@ void line_break_ (integer finalwidowpenalty)
     else
     {
       last_special_line = abs(hang_after);
+
       if (hang_after < 0)
       {
         first_width = hsize - abs(hang_indent);
+
         if (hang_indent >= 0)
           first_indent = hang_indent;
         else
           first_indent = 0;
+
         second_width = hsize;
         second_indent = 0;
       }
@@ -419,6 +372,7 @@ void line_break_ (integer finalwidowpenalty)
         first_width = hsize;
         first_indent = 0;
         second_width = hsize - abs(hang_indent);
+
         if (hang_indent >= 0)
           second_indent = hang_indent;
         else
@@ -427,48 +381,49 @@ void line_break_ (integer finalwidowpenalty)
     }
   else
   {
-    last_special_line = mem[par_shape_ptr].hh.v.LH - 1;
-    second_width = mem[par_shape_ptr + 2 *(last_special_line + 1)].cint;
+    last_special_line = info(par_shape_ptr) - 1;
+    second_width = mem[par_shape_ptr + 2 * (last_special_line + 1)].cint;
     second_indent = mem[par_shape_ptr + 2 * last_special_line + 1].cint;
   }
-/* if looseness=0 then easy_line:=last_special_line */
+
   if (looseness == 0)
-    easyline = last_special_line;
+    easy_line = last_special_line;
   else
-    easyline = empty_flag;
-/* threshold:=pretolerance; */
+    easy_line = empty_flag;
+
   threshold = pretolerance;
+
   if (threshold >= 0)
   {
 #ifdef STAT
-/*   if tracing_paragraphs>0 then */
     if (tracing_paragraphs > 0)
     {
       begin_diagnostic();
       print_nl("@firstpass");
     }
-#endif /* STAT */
+#endif
+
     second_pass = false;
     final_pass = false;
     first_pass_count++; /* 96 Feb 9 */
   }
   else
   {
-/*  threshold:=tolerance; second_pass:=true; */
     threshold = tolerance;
     second_pass = true;
-/*   final_pass:=(emergency_stretch<=0); */
     final_pass = (emergency_stretch <= 0);
+
 #ifdef STAT
     if (tracing_paragraphs > 0)
       begin_diagnostic();
-#endif /* STAT */
+#endif
   }
+
   while (true)
   {
-/*  if threshold>inf_bad then threshold:=inf_bad; */
-    if (threshold > 10000)
-      threshold = 10000;
+    if (threshold > inf_bad)
+      threshold = inf_bad;
+
     if (second_pass)
     {
 #ifdef INITEX
@@ -476,518 +431,538 @@ void line_break_ (integer finalwidowpenalty)
       {
         if (trie_not_ready)
           init_trie();
-      } /* bkph */
-#endif /* INITEX */
-/* ********************************************************************* */
-/* following has changed in 3.14159 */
-/*      cur_lang = 0;  */
+      }
+#endif
+
       cur_lang = init_cur_lang;
-/*      lhyf = cur_list .lhmfield; */
-      lhyf = init_l_hyf;
-/*      rhyf = cur_list .rhmfield;  */
-      rhyf = init_r_hyf;
-/* ********************************************************************* */
-    }
-    q = get_node(3);
-    mem[q].hh.b0 = 0;
-    mem[q].hh.b1 = 2;
-    mem[q].hh.v.RH = active;
-    mem[q + 1].hh.v.RH = 0;
-    mem[q + 1].hh.v.LH = prev_graf + 1;
-    mem[q + 2].cint = 0;
-    mem[active].hh.v.RH = 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];
-/*  passive:=null; printed_node:=temp_head; pass_number:=0; */
+      l_hyf = init_l_hyf;
+      r_hyf = init_r_hyf;
+    }
+
+    q = get_node(active_node_size);
+    type(q) = unhyphenated;
+    fitness(q) = decent_fit;
+    link(q) = active;
+    break_node(q) = 0;
+    line_number(q) = prev_graf + 1;
+    total_demerits(q) = 0;
+    link(active) = q;
+    act_width = background[1];
+    do_all_six(store_background);
     passive = 0;
     printed_node = temp_head;
     pass_number = 0;
-    font_in_short_display = 0;
-    cur_p = mem[temp_head].hh.v.RH;
-    autobreaking = true;
-    prevp = cur_p;
-/*  while (cur_p<>null)and(link(active)<>last_active) do */
-    while((cur_p != 0) && (mem[active].hh.v.RH != active))
+    font_in_short_display = null_font;
+    cur_p = link(temp_head);
+    auto_breaking = true;
+    prev_p = cur_p;
+
+    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 = mem[cur_p].hh.b0;
-          active_width[1] = active_width[1] + font_info[width_base[f] + font_info[char_base[f] + mem[cur_p].hh.b1].qqqq.b0].cint;
-          cur_p = mem[cur_p].hh.v.RH;
-        }
-        while(!(!(cur_p >= hi_mem_min)));
+          {
+            f = font(cur_p);
+            act_width = act_width + char_width(f, char_info(f, character(cur_p)));
+            cur_p = link(cur_p);
+          }
+        while (!(!is_char_node(cur_p)));
       }
-      switch(mem[cur_p].hh.b0)
+
+      switch (type(cur_p))
       {
-        case 0:
-        case 1:
-        case 2:
-          active_width[1] = active_width[1] + mem[cur_p + 1].cint;
+        case hlist_node:
+        case vlist_node:
+        case rule_node:
+          act_width = act_width + width(cur_p);
           break;
-        case 8:
-          if (mem[cur_p].hh.b1 == 4)
+
+        case whatsit_node:
+          if (subtype(cur_p) == language_node)
           {
-            cur_lang = mem[cur_p + 1].hh.v.RH;  /* ASCII_code */
-            lhyf = mem[cur_p + 1].hh.b0;
-            rhyf = mem[cur_p + 1].hh.b1;
+            cur_lang = what_lang(cur_p);
+            l_hyf = what_lhm(cur_p);
+            r_hyf = what_rhm(cur_p);
           }
           break;
-        case 10:
+
+        case glue_node:
           {
-            if (autobreaking)
+            if (auto_breaking)
             {
-              if ((prevp >= hi_mem_min))
-                try_break(0, 0);
-              else if ((mem[prevp].hh.b0 < 9))
-                try_break(0, 0);
-              else if ((mem[prevp].hh.b0 == 11) && (mem[prevp].hh.b1 != 1))
-                try_break(0, 0);
+              if (is_char_node(prev_p))
+                try_break(0, unhyphenated);
+              else if (precedes_break(prev_p))
+                try_break(0, unhyphenated);
+              else if ((type(prev_p) == kern_node) && (subtype(prev_p) != explicit))
+                try_break(0, unhyphenated);
             }
-            if ((mem[mem[cur_p + 1].hh.v.LH].hh.b1 != 0) && (mem[mem[cur_p + 1].hh.v.LH + 3].cint != 0))
-            {
-              mem[cur_p + 1].hh.v.LH = finite_shrink(mem[cur_p + 1].hh.v.LH);
-            }
-            q = mem[cur_p + 1].hh.v.LH;
-            active_width[1]= active_width[1]+ mem[q + 1].cint;
-            active_width[2 + mem[q].hh.b0]= active_width[2 + mem[q].hh.b0]+ mem[q + 2].cint;
-            active_width[6]= active_width[6]+ mem[q + 3].cint;
-            if (second_pass && autobreaking)
+
+            check_shrinkage(glue_ptr(cur_p));
+            q = glue_ptr(cur_p);
+            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 = mem[prevs].hh.v.RH;
+              prev_s = cur_p;
+              s = link(prev_s);
+
               if (s != 0)
               {
                 while (true)
                 {
-                  if ((s >= hi_mem_min))
+                  if (is_char_node(s))
                   {
-                    c = mem[s].hh.b1;
-                    hf = mem[s].hh.b0;
+                    c = character(s);
+                    hf = font(s);
                   }
-                  else if (mem[s].hh.b0 == 6)
-                    if (mem[s + 1].hh.v.RH == 0)
-                      goto lab22;
+                  else if (type(s) == ligature_node)
+                    if (lig_ptr(s) == 0)
+                      goto continu;
                     else
                     {
-                      q = mem[s + 1].hh.v.RH;
-                      c = mem[q].hh.b1;
-                      hf = mem[q].hh.b0;
+                      q = lig_ptr(s);
+                      c = character(q);
+                      hf = font(q);
                     }
-                  else if ((mem[s].hh.b0 == 11) && (mem[s].hh.b1 == 0))
-                    goto lab22;
-                  else if (mem[s].hh.b0 == 8)
+                  else if ((type(s) == kern_node) && (subtype(s) == normal))
+                    goto continu;
+                  else if (type(s) == whatsit_node)
                   {
-                    if (mem[s].hh.b1 == 4)
+                    if (subtype(s) == language_node)
                     {
-                      cur_lang = mem[s + 1].hh.v.RH;  /* ASCII_code */
-                      lhyf = mem[s + 1].hh.b0;
-                      rhyf = mem[s + 1].hh.b1;
+                      cur_lang = what_lang(s);
+                      l_hyf = what_lhm(s);
+                      r_hyf = what_rhm(s);
                     }
-                    goto lab22;
+                    goto continu;
                   }
                   else
-                    goto lab31;
-                  if (eqtb[(hash_size + 2139) + c].hh.v.RH != 0)
-/*    signed unsigned mismatch ? (c is unsigned) */
-                    if ((eqtb[(hash_size + 2139) + c].hh.v.RH == c) || (uc_hyph > 0))
-                      goto lab32;
+                    goto done1;
+
+                  if (lc_code(c) != 0)
+                    if ((lc_code(c) == (halfword) c) || (uc_hyph > 0))
+                      goto done2;
                     else
-                      goto lab31;
-lab22:
-                  prevs = s;
-                  s = mem[prevs].hh.v.RH;
+                      goto done1;
+continu:
+                  prev_s = s;
+                  s = link(prev_s);
                 }
-lab32:
+done2:
                 hyf_char = hyphen_char[hf];
-/* if hyf_char<0 then goto done1; */
+
                 if (hyf_char < 0)
-                  goto lab31; 
-/* if hyf_char>255 then goto done1; */
+                  goto done1; 
+
                 if (hyf_char > 255)
-                  goto lab31; /* ? */
-                ha = prevs;
-                if (lhyf + rhyf > 63)
-                  goto lab31;
+                  goto done1; /* ? */
+
+                ha = prev_s;
+
+                if (l_hyf + r_hyf > 63)
+                  goto done1;
+
                 hn = 0;
+
                 while (true)
                 {
-                  if ((s >= hi_mem_min))
+                  if (is_char_node(s))
                   {
-                    if (mem[s].hh.b0 != hf)
-                      goto lab33;
-                    hyfbchar = mem[s].hh.b1;
-                    c = hyfbchar;     /*  unsigned char c;  */
-                    if (eqtb[(hash_size + 2139) + c].hh.v.RH == 0)
-                      goto lab33;
+                    if (font(s) != hf)
+                      goto done3;
+
+                    hyf_bchar = character(s);
+
+                    c = hyf_bchar;
+
+                    if (lc_code(c) == 0)
+                      goto done3;
+
                     if (hn == 63)
-                      goto lab33;
+                      goto done3;
+
                     hb = s;
                     incr(hn);
-                    hu[hn]= c;
-/*      long to short ... */
-                    hc[hn]= eqtb[(hash_size + 2139) + c].hh.v.RH;
-                    hyfbchar = 256;   /* special mark */
+                    hu[hn] = c;
+                    hc[hn]= lc_code(c);
+                    hyf_bchar = non_char;
                   }
-                  else if (mem[s].hh.b0 == 6)
+                  else if (type(s) == ligature_node)
                   {
-                    if (mem[s + 1].hh.b0 != hf)
-                      goto lab33;
-/* j:=hn; q:=lig_ptr(s); l.17554 */
+                    if (font(lig_char(s)) != hf)
+                      goto done3;
+
                     j = hn;
-                    q = mem[s + 1].hh.v.RH;
-/* if q>null then hyf_bchar:=character(q); l.17554  BUG ??? */
-/*      if (q > 0) */
-                    if (q != 0)           /* 94/Mar/23 BUG FIX */
-                      hyfbchar = mem[q].hh.b1;
-/* while q>null do l.17555 BUG ??? */
-/*      while(q > 0)*/
-                    while (q != 0)
-                    {        /* 94/Mar/23 BUG FIX */
-                      c = mem[q].hh.b1;
-                      if (eqtb[(hash_size + 2139) + c].hh.v.RH == 0)
-                        goto lab33;
+                    q = lig_ptr(s);
+
+                    if (q != 0) /* 94/Mar/23 BUG FIX */
+                      hyf_bchar = character(q);
+
+                    while (q != 0) /* 94/Mar/23 BUG FIX */
+                    {
+                      c = character(q);
+
+                      if (lc_code(c) == 0)
+                        goto done3;
+
                       if (j == 63)
-                        goto lab33;
+                        goto done3;
+
                       incr(j);
-                      hu[j]= c;
-/*      long to short ... */
-                      hc[j] = eqtb[(hash_size + 2139) + c].hh.v.RH;
-                      q = mem[q].hh.v.RH;
+                      hu[j] = c;
+                      hc[j] = lc_code(c);
+                      q = link(q);
                     }
+
                     hb = s;
                     hn = j;
-                    if (odd(mem[s].hh.b1))
-                      hyfbchar = font_bchar[hf];
+
+                    if (odd(subtype(s)))
+                      hyf_bchar = font_bchar[hf];
                     else
-                      hyfbchar = 256;    /* special mark */
+                      hyf_bchar = non_char;
                   }
-                  else if ((mem[s].hh.b0 == 11) && (mem[s].hh.b1 == 0))
+                  else if ((type(s) == kern_node) && (subtype(s) == normal))
                   {
                     hb = s;
-                    hyfbchar = font_bchar[hf];
+                    hyf_bchar = font_bchar[hf];
                   }
                   else
-                    goto lab33;
-                  s = mem[s].hh.v.RH;
+                    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(mem[s].hh.b0)
+                  if (!(is_char_node(s)))
+                    switch (type(s))
                     {
-                      case 6:
+                      case ligature_node:
                         break;
-                      case 11:
-                        if (mem[s].hh.b1 != 0)
-                          goto lab34;
+    
+                      case kern_node:
+                        if (subtype(s) != normal)
+                          goto done4;
                         break;
-                      case 8:
-                      case 10:
-                      case 12:
-                      case 3:
-                      case 5:
-                      case 4:
-                        goto lab34;
+
+                      case whatsit_node:
+                      case glue_node:
+                      case penalty_node:
+                      case ins_node:
+                      case adjust_node:
+                      case mark_node:
+                        goto done4;
                         break;
+
                       default:
-                        goto lab31;
+                        goto done1;
                         break;
                     }
-                  s = mem[s].hh.v.RH;
+                  s = link(s);
                 }
-lab34:;
+done4:
                 hyphenate();
               }
-lab31:;
+done1:;
             }
           }
           break;
-        case 11:
-          if (mem[cur_p].hh.b1 == 1)
-          {
-            if (!(mem[cur_p].hh.v.RH >= hi_mem_min) && autobreaking)
-              if (mem[mem[cur_p].hh.v.RH].hh.b0 == 10)
-                try_break(0, 0);
-            active_width[1] = active_width[1]+ mem[cur_p + 1].cint;
-          }
+
+        case kern_node:
+          if (subtype(cur_p) == explicit)
+            kern_break();
           else
-            active_width[1] = active_width[1]+ mem[cur_p + 1].cint;
+            act_width = act_width + width(cur_p);
           break;
-        case 6:
+
+        case ligature_node:
           {
-            f = mem[cur_p + 1].hh.b0;
-            active_width[1] = active_width[1] + font_info[width_base[f] + font_info[char_base[f]+ mem[cur_p + 1].hh.b1].qqqq.b0].cint;
+            f = font(lig_char(cur_p));
+            act_width = act_width + char_width(f, char_info(f, character(lig_char(cur_p))));
           }
           break;
-        case 7:
+
+        case disc_node:
           {
-            s = mem[cur_p + 1].hh.v.LH;
+            s = pre_break(cur_p);
             disc_width = 0;
+
             if (s == 0)
-              try_break(ex_hyphen_penalty, 1);
+              try_break(ex_hyphen_penalty, hyphenated);
             else
             {
               do
               {
-                if ((s >= hi_mem_min))
+                if (is_char_node(s))
                 {
-                  f = mem[s].hh.b0;
-                  disc_width = disc_width + font_info[width_base[f] + font_info[char_base[f] + mem[s].hh.b1].qqqq.b0].cint;
+                  f = font(s);
+                  disc_width = disc_width + char_width(f, char_info(f, character(s)));
                 }
-                else switch(mem[s].hh.b0)
+                else switch (type(s))
                 {
-                  case 6:
+                  case ligature_node:
                     {
-                      f = mem[s + 1].hh.b0;
-                      disc_width = disc_width + font_info[width_base[f] + font_info[char_base[f]+ mem[s + 1].hh.b1].qqqq.b0].cint;
+                      f = font(lig_char(s));
+                      disc_width = disc_width + char_width(f, char_info(f, character(lig_char(s))));
                     }
                     break;
-                  case 0:
-                  case 1:
-                  case 2:
-                  case 11:
-                    disc_width = disc_width + mem[s + 1].cint;
+
+                  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 = mem[s].hh.v.RH;
+                s = link(s);
               }
-              while(!(s == 0));
-              active_width[1]= active_width[1]+ disc_width;
-              try_break(hyphen_penalty, 1);
-              active_width[1]= active_width[1]- disc_width;
+              while (!(s == 0));
+
+              act_width = act_width + disc_width;
+              try_break(hyphen_penalty, hyphenated);
+              act_width = act_width - disc_width;
             }
-            r = mem[cur_p].hh.b1;
-            s = mem[cur_p].hh.v.RH;
+
+            r = replace_count(cur_p);
+            s = link(cur_p);
+
             while (r > 0)
             {
-              if ((s >= hi_mem_min))
+              if (is_char_node(s))
               {
-                f = mem[s].hh.b0;
-                active_width[1] = active_width[1] + font_info[width_base[f] + font_info[char_base[f]+ mem[s].hh.b1].qqqq.b0].cint;
+                f = font(s);
+                act_width = act_width + char_width(f, char_info(f, character(s)));
               }
-              else switch(mem[s].hh.b0)
+              else switch (type(s))
               {
-                case 6:
+                case ligature_node:
                   {
-                    f = mem[s + 1].hh.b0;
-                    active_width[1] = active_width[1] + font_info[width_base[f] + font_info[char_base[f] + mem[s + 1].hh.b1].qqqq.b0].cint;
+                    f = font(lig_char(s));
+                    act_width = act_width + char_width(f, char_info(f, character(lig_char(s))));
                   }
                   break;
-                case 0:
-                case 1:
-                case 2:
-                case 11:
-                  active_width[1]= active_width[1]+ mem[s + 1].cint;
+
+                case hlist_node:
+                case vlist_node:
+                case rule_node:
+                case kern_node:
+                  act_width = act_width + width(s);
                   break;
+
                 default:
                   {
                     confusion("disc4");
-                    return;       // abort_flag set
+                    return;
                   }
                   break;
               }
+
               decr(r);
-              s = mem[s].hh.v.RH;
+              s = link(s);
             }
-            prevp = cur_p;
+
+            prev_p = cur_p;
             cur_p = s;
-            goto lab35;
+            goto done5;
           }
           break;
-        case 9:
+
+        case math_node:
           {
-            autobreaking = (mem[cur_p].hh.b1 == 1);
-            {
-              if (!(mem[cur_p].hh.v.RH >= hi_mem_min) && autobreaking)
-                if (mem[mem[cur_p].hh.v.RH].hh.b0 == 10)
-                  try_break(0, 0);
-              active_width[1] = active_width[1] + mem[cur_p + 1].cint;
-            }
+            auto_breaking = (subtype(cur_p) == after);
+            kern_break();
           }
           break;
-        case 12:
-          try_break(mem[cur_p + 1].cint, 0);
+
+        case penalty_node:
+          try_break(penalty(cur_p), unhyphenated);
           break;
-        case 4:
-        case 3:
-        case 5:
+
+        case mark_node:
+        case ins_node:
+        case adjust_node:
           break;
+
         default:
           {
             confusion("paragraph");
-            return;       // abort_flag set
+            return;
           }
           break;
       }
-      prevp = cur_p;
-      cur_p = mem[cur_p].hh.v.RH;
-lab35:;
+
+      prev_p = cur_p;
+      cur_p = link(cur_p);
+done5:;
     }
+
     if (cur_p == 0)
     {
-      try_break(-10000, 1);
-      if (mem[active].hh.v.RH != active)
+      try_break(eject_penalty, hyphenated);
+
+      if (link(active) != active)
       {
-        r = mem[active].hh.v.RH;
-        fewest_demerits = 1073741823L; /* 2^30 - 1 */
+        r = link(active);
+        fewest_demerits = awful_bad;
+
         do
-        {
-          if (mem[r].hh.b0 != 2)
-            if (mem[r + 2].cint < fewest_demerits)
-            {
-              fewest_demerits = mem[r + 2].cint;
-              best_bet = r;
-            }
-          r = mem[r].hh.v.RH;
-        }
+          {
+            if (type(r) != delta_node)
+              if (total_demerits(r) < fewest_demerits)
+              {
+                fewest_demerits = total_demerits(r);
+                best_bet = r;
+              }
+
+            r = link(r);
+          }
         while (!(r == active));
-        best_line = mem[best_bet + 1].hh.v.LH;
-/*  if looseness=0 then goto done; */
+
+        best_line = line_number(best_bet);
+
         if (looseness == 0)
         {
-/*    if (final_pass && eqtb[(hash_size + 3750)].cint > 0){ */
-/*      paragraph_failed++; */
-/*    } */
-          goto lab30;           /* normal exit */
+          goto done; /* normal exit */
         }
+
         {
-/* r:=link(active); actual_looseness:=0; */
-          r = mem[active].hh.v.RH;
+          r = link(active);
           actual_looseness = 0;
+
           do
-          {
-            if (mem[r].hh.b0 != 2)
             {
-/*   line_diff:=line_number(r)-best_line; */
-              line_diff = toint(mem[r + 1].hh.v.LH) - toint(best_line);
-/*   if ((line_diff<actual_looseness)and(looseness<=line_diff))or@|
-        ((line_diff>actual_looseness)and(looseness>=line_diff)) then */
-              if (((line_diff < actual_looseness) && (looseness <= line_diff)) ||
-                  ((line_diff > actual_looseness) && (looseness >= line_diff)))
-              {
-                best_bet = r;
-                actual_looseness = line_diff;
-                fewest_demerits = mem[r + 2].cint;
-              }
-              else if ((line_diff == actual_looseness) && (mem[r + 2].cint < fewest_demerits))
+              if (type(r) != 2)
               {
-                best_bet = r;
-                fewest_demerits = mem[r + 2].cint;
+                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 = mem[r].hh.v.RH;
-          }
           while (!(r == active));
-          best_line = mem[best_bet + 1].hh.v.LH;
-        }
-/*  if (actual_looseness=looseness)or final_pass then goto done; */
-/*  if ((actual_looseness == eqtb[(hash_size + 3182)].cint)|| final_pass)*/
-        if ((actual_looseness == looseness))
-        {
-          goto lab30;
+
+          best_line = line_number(best_bet);
         }
-        if (final_pass)
+
+        if ((actual_looseness == looseness) || final_pass)
         {
-          goto lab30;
+          goto done;
         }
       }
     }
-    q = mem[active].hh.v.RH;
+
+    q = link(active);
+
     while (q != active)
     {
-      cur_p = mem[q].hh.v.RH;
-      if (mem[q].hh.b0 == 2)
-        free_node(q, 7);
+      cur_p = link(q);
+
+      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;
     }
+
     q = passive;
+
     while (q != 0)
     {
-      cur_p = mem[q].hh.v.RH;
-      free_node(q, 2);
+      cur_p = link(q);
+      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 */
-/* threshold:=tolerance; */
+#endif
       threshold = tolerance;
       second_pass = true;
-      second_pass_count++;          /* 96 Feb 9 */
-/*   final_pass:=(emergency_stretch<=0); */
-      final_pass =(emergency_stretch <= 0);
+      second_pass_count++;
+      final_pass = (emergency_stretch <= 0);
     }
     else
     {
 #ifdef STAT
       if (tracing_paragraphs > 0)
         print_nl("@emergencypass");
-#endif /* STAT */
-/*     can only get here is \emergencystretch has been set positive */
-/*     background[2]:=background[2]+emergency_stretch; final_pass:=true; */
+#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 (badness > (pre)tolerance) */
-/*    if (last_badness > threshold){ */
-/*    if (savedbadness > threshold){ */ /* do we believe this ??? */ 
-/*    paragraph_failed++; */  /* 96/Feb/9 */
-/*  } */
-/*    if (prevgraf == 1) singleline++; */
-/*    if (nest[nest_ptr].pg_field == 1) singleline++; */
-/*    At this point best_line is number of lines in paragraph + 1 */
-  if (best_line == 2)
-    singleline++;
+      ++final_pass_count;
+    }
+  }
+
+done:
+  if (best_line == decent_fit)
+    single_line++;
+
 #ifdef STAT
   if (tracing_paragraphs > 0)
   {
     end_diagnostic(true);
     normalize_selector();
   }
-#endif /* STAT */
-  post_line_break(finalwidowpenalty);
-  q = mem[active].hh.v.RH;
+#endif
+
+  post_line_break(final_widow_penalty);
+  q = link(active);
+
   while (q != active)
   {
-    cur_p = mem[q].hh.v.RH;
-    if (mem[q].hh.b0 == 2)
-      free_node(q, 7);
+    cur_p = link(q);
+
+    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;
   }
+
   q = passive;
+
   while (q != 0)
-  { /* while q<>null do l.16979 */
-    cur_p = mem[q].hh.v.RH;
-    free_node(q, 2);
+  {
+    cur_p = link(q);
+    free_node(q, passive_node_size);
     q = cur_p;
   }
+
   pack_begin_line = 0;
 }
 /* sec 1211 */
@@ -997,19 +972,23 @@ 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)));
+      {
+        get_x_token();
+      }
+    while (!((cur_cmd != spacer) && (cur_cmd != relax)));
+
     if (cur_cmd <= max_non_prefixed_command)
     {
       print_err("You can't use a prefix with `");
@@ -1020,18 +999,20 @@ void prefixed_command (void)
       return;
     }
   }
-  if ((cur_cmd != 97) && (a % 4 != 0))
+
+  if ((cur_cmd != def) && (a % 4 != 0))
   {
     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(39);   /* ' */
+    print_char('\'');
     help1("I'll pretend you didn't say \\long or \\outer here.");
     error();
   }
+
   if (global_defs != 0)
     if (global_defs < 0)
     {
@@ -1043,45 +1024,45 @@ void prefixed_command (void)
       if (!(a >= 4))
         a = a + 4;
     }
+
   switch (cur_cmd)
   {
-    case 87:
-/* set_font: define(cur_font_loc,data,cur_chr); */
-      if ((a >= 4))
-        geq_define((hash_size + 1834), 120, cur_chr);
-      else
-        eq_define((hash_size + 1834), 120, cur_chr);
+    case set_font:
+      define(cur_font_loc, data, cur_chr);
       break;
-    case 97:
+
+    case def:
       {
         if (odd(cur_chr) && !(a >= 4) && (global_defs >= 0))
           a = a + 4;
+
         e = (cur_chr >= 2);
         get_r_token();
         p = cur_cs;
         q = scan_toks(true, e);
-        if ((a >= 4))
-          geq_define(p, 111 +(a % 4), def_ref);
-        else
-          eq_define(p, 111 +(a % 4), def_ref);
+        define(p, call + (a % 4), def_ref);
       }
       break;
-    case 94:
+
+    case let:
       {
         n = cur_chr;
         get_r_token();
         p = cur_cs;
+
         if (n == 0)
         {
           do
+            {
+              get_token();
+            }
+          while (!(cur_cmd != spacer));
+
+          if (cur_tok == other_token + '=')
           {
             get_token();
-          }
-          while (!(cur_cmd != 10));
-          if (cur_tok == 3133)
-          {
-            get_token();
-            if (cur_cmd == 10)
+
+            if (cur_cmd == spacer)
               get_token();
           }
         }
@@ -1094,78 +1075,62 @@ void prefixed_command (void)
           cur_tok = q;
           back_input();
         }
-        if (cur_cmd >= 111)
-          incr(mem[cur_chr].hh.v.LH);
-        if ((a >= 4))
-          geq_define(p, cur_cmd, cur_chr);
-        else
-          eq_define(p, cur_cmd, cur_chr);
+
+        if (cur_cmd >= call)
+          add_token_ref(cur_chr);
+
+        define(p, cur_cmd, cur_chr);
       }
       break;
-    case 95:
+
+    case shorthand_def:
       {
         n = cur_chr;
         get_r_token();
         p = cur_cs;
-        if ((a >= 4))
-          geq_define(p, 0, 256);
-        else
-          eq_define(p, 0, 256);
+        define(p, relax, 256);
         scan_optional_equals();
+
         switch (n)
         {
-          case 0:
+          case char_def_code:
             {
               scan_char_num();
-              if ((a >= 4))
-                geq_define(p, 68, cur_val);
-              else
-                eq_define(p, 68, cur_val);
+              define(p, char_given, cur_val);
             }
             break;
-          case 1:
+
+          case math_char_def_code:
             {
               scan_fifteen_bit_int();
-              if ((a >= 4))
-                geq_define(p, 69, cur_val);
-              else
-                eq_define(p, 69, cur_val);
+              define(p, math_given, cur_val);
             }
             break;
+
           default:
             {
               scan_eight_bit_int();
+
               switch (n)
               {
-                case 2:
-                  if ((a >= 4))
-                    geq_define(p, 73, (hash_size + 3218) + cur_val);
-                  else
-                    eq_define(p, 73, (hash_size + 3218) + cur_val);
+                case count_def_code:
+                  define(p, assign_int, count_base + cur_val);
                   break;
-                case 3:
-                  if ((a >= 4))
-                    geq_define(p, 74, (hash_size + 3751) + cur_val);
-                  else
-                    eq_define(p, 74, (hash_size + 3751) + cur_val);
+
+                case dimen_def_code:
+                  define(p, assign_dimen, scaled_base + cur_val);
                   break;
-                case 4:
-                  if ((a >= 4)) 
-                    geq_define(p, 75, (hash_size + 800) + cur_val);
-                  else
-                    eq_define(p, 75, (hash_size + 800) + cur_val);
+
+                case skip_def_code:
+                  define(p, assign_glue, skip_base + cur_val);
                   break;
-                case 5:
-                  if ((a >= 4))
-                    geq_define(p, 76, (hash_size + 1056) + cur_val);
-                  else
-                    eq_define(p, 76, (hash_size + 1056) + cur_val);
+
+                case mu_skip_def_code:
+                  define(p, assign_mu_glue, mu_skip_base + cur_val);
                   break;
-                case 6:
-                  if ((a >= 4))
-                    geq_define(p, 72, toks_base + cur_val);
-                  else
-                    eq_define(p, 72, toks_base + cur_val);
+
+                case toks_def_code:
+                  define(p, assign_toks, toks_base + cur_val);
                   break;
               }
             }
@@ -1173,222 +1138,209 @@ void prefixed_command (void)
         }
       }
       break;
-    case 96:
+
+    case read_to_cs:
       {
         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'.",
               "I'm going to look for the \\cs now.");
           error();
         }
+
         get_r_token();
         p = cur_cs;
         read_toks(n, p);
-        if ((a >= 4))
-          geq_define(p, 111, cur_val);
-        else
-          eq_define(p, 111, cur_val);
+        define(p, call, cur_val);
       }
       break;
-    case 71:
-    case 72:
+
+    case toks_register:
+    case assign_toks:
       {
         q = cur_cs;
-        if (cur_cmd == 71)
+
+        if (cur_cmd == toks_register)
         {
           scan_eight_bit_int();
           p = toks_base + cur_val;
         }
         else
           p = cur_chr;
+
         scan_optional_equals();
+
         do
-        {
-          get_x_token();
-        }
-        while(!((cur_cmd != 10) && (cur_cmd != 0)));
-        if (cur_cmd != 1)
-        {
-          if (cur_cmd == 71)
+          {
+            get_x_token();
+          }
+        while (!((cur_cmd != spacer) && (cur_cmd != relax)));
+
+        if (cur_cmd != left_brace)
+        {
+          if (cur_cmd == toks_register)
           {
             scan_eight_bit_int();
-            cur_cmd = 72;
+            cur_cmd = assign_toks;
             cur_chr = toks_base + cur_val;
           }
-          if (cur_cmd == 72)
+
+          if (cur_cmd == assign_toks)
           {
-            q = eqtb[cur_chr].hh.v.RH;
+            q = equiv(cur_chr);
+
             if (q == 0)
-              if ((a >= 4))
-                geq_define(p, 101, 0);
-              else
-                eq_define(p, 101, 0);
+              define(p, undefined_cs, 0);
             else
             {
-              incr(mem[q].hh.v.LH);
-              if ((a >= 4))
-                geq_define(p, 111, q);
-              else
-                eq_define(p, 111, q);
+              add_token_ref(q);
+              define(p, call, q);
             }
-            goto lab30;
+            goto done;
           }
         }
+
         back_input();
         cur_cs = q;
         q = scan_toks(false, false);
-        if (mem[def_ref].hh.v.RH == 0)
+
+        if (link(def_ref) == 0)
         {
-          if ((a >= 4))
-            geq_define(p, 101, 0);
-          else
-            eq_define(p, 101, 0);
-          {
-            mem[def_ref].hh.v.RH = avail;
-            avail = def_ref;
-#ifdef STAT
-            decr(dyn_used);
-#endif /* STAT */
-          }
+          define(p, undefined_cs, 0);
+          free_avail(def_ref);
         }
         else
         {
-          if (p == (hash_size + 1313))      /* output ? */
+          if (p == output_routine_loc)
           {
-            mem[q].hh.v.RH = get_avail();
-            q = mem[q].hh.v.RH;
-            mem[q].hh.v.LH = 637;
+            link(q) = get_avail();
+            q = link(q);
+            info(q) = right_brace_token + '}';
             q = get_avail();
-            mem[q].hh.v.LH = 379;
-            mem[q].hh.v.RH = mem[def_ref].hh.v.RH;
-            mem[def_ref].hh.v.RH = q;
+            info(q) = left_brace_token + '{';
+            link(q) = link(def_ref);
+            link(def_ref) = q;
           }
-          if ((a >= 4))
-            geq_define(p, 111, def_ref);
-          else
-            eq_define(p, 111, def_ref);
+
+          define(p, call, def_ref);
         }
       }
       break;
-    case 73:
+
+    case assign_int:
       {
         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;
-    case 74:
+
+    case assign_dimen:
       {
         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;
-    case 75:
-    case 76:
+
+    case assign_glue:
+    case assign_mu_glue:
       {
         p = cur_chr;
         n = cur_cmd;
         scan_optional_equals();
-        if (n == 76)
-          scan_glue(3);
+
+        if (n == assign_mu_glue)
+          scan_glue(mu_val);
         else
-          scan_glue(2);
+          scan_glue(glue_val);
+
         trap_zero_glue();
-        if ((a >= 4))
-          geq_define(p, 117, cur_val);
-        else
-          eq_define(p, 117, cur_val);
+        define(p, glue_ref, cur_val);
       }
       break;
-    case 85:
+
+    case def_code:
       {
-        if (cur_chr == (hash_size + 1883))
-          n = 15;
-        else if (cur_chr == (hash_size + 2907))
-          n = 32768L;                 /* 2^15 */
-        else if (cur_chr == (hash_size + 2651))
-          n = 32767;                /* 2^15 - 1*/
-        else if (cur_chr == (hash_size + 3474))
-          n = 16777215L;              /* 2^24 - 1 */
+        if (cur_chr == cat_code_base)
+          n = max_char_code;
+        else if (cur_chr == math_code_base)
+          n = 32768L; /* 2^15 */
+        else if (cur_chr == sf_code_base)
+          n = 32767; /* 2^15 - 1*/
+        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();
         p = p + cur_val;
         scan_optional_equals();
         scan_int();
-        if (((cur_val < 0) && (p < (hash_size + 3474))) ||(cur_val > n))
+
+        if (((cur_val < 0) && (p < del_code_base)) ||(cur_val > n))
         {
           print_err("Invalid code(");
           print_int(cur_val);
-          if (p < (hash_size + 3474))
-            print_string("), should be in the range 0..");
+
+          if (p < del_code_base)
+            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.");
           error();
           cur_val = 0;
         }
-        if (p < (hash_size + 2907))
-          if ((a >= 4))
-            geq_define(p, 120, cur_val);
-          else
-            eq_define(p, 120, cur_val);
-        else if (p < (hash_size + 3474))
-          if ((a >= 4))
-            geq_define(p, 120, cur_val);
-          else
-            eq_define(p, 120, cur_val);
-        else if ((a >= 4))
-          geq_word_define(p, cur_val);
-        else
-          eq_word_define(p, cur_val);
+
+        if (p < math_code_base)
+          define(p, data, cur_val);
+        else if (p < del_code_base)
+          define(p, data, cur_val);
+        else 
+          word_define(p, cur_val);
       }
       break;
-    case 86:
+
+    case def_family:
       {
         p = cur_chr;
         scan_four_bit_int();
         p = p + cur_val;
         scan_optional_equals();
         scan_font_ident();
-        if ((a >= 4))
-          geq_define(p, 120, cur_val);
-        else
-          eq_define(p, 120, cur_val);
+        define(p, data, cur_val);
       }
       break;
-    case 89:
-    case 90:
-    case 91:
-    case 92:
+
+    case tex_register:
+    case advance:
+    case multiply:
+    case divide:
       do_register_command(a);
       break;
-    case 98:
+
+    case set_box:
       {
         scan_eight_bit_int();
+
         if ((a >= 4))
           n = 256 + cur_val;
         else
           n = cur_val;
+
         scan_optional_equals();
+
         if (set_box_allowed)
-        {
-          scan_box(1073741824L + n); /* 2^30 + n */ /* box_flag + n */
-        }
+          scan_box(box_flag + n);
         else
         {
           print_err("Improper ");
@@ -1399,32 +1351,40 @@ void prefixed_command (void)
         }
       }
       break;
-    case 79:
+
+    case set_aux:
       alter_aux();
       break;
-    case 80:
+
+    case set_prev_graf:
       alter_prev_graf();
       break;
-    case 81:
+
+    case set_page_dimen:
       alter_page_so_far();
       break;
-    case 82:
+
+    case set_page_int:
       alter_integer();
       break;
-    case 83:
+
+    case set_box_dimen:
       alter_box_dimen();
       break;
-    case 84:
+
+    case set_shape:
       {
         scan_optional_equals();
         scan_int();
         n = cur_val;
+
         if (n <= 0)
           p = 0;
         else
         {
           p = get_node(2 * n + 1);
-          mem[p].hh.v.LH = n;
+          info(p) = n;
+
           for (j = 1; j <= n; j++)
           {
             scan_dimen(false, false, false);
@@ -1433,39 +1393,41 @@ void prefixed_command (void)
             mem[p + 2 * j].cint = cur_val;
           }
         }
-        if ((a >= 4))
-          geq_define((hash_size + 1312), 118, p);
-        else
-          eq_define((hash_size + 1312), 118, p);
+
+        define(par_shape_loc, shape_ref, p);
       }
       break;
-    case 99:
+
+    case hyph_data:
       if (cur_chr == 1)
       {
 #ifdef INITEX
         if (is_initex)
-        {    /* bkph */
+        {
           new_patterns();
-          goto lab30;
-        }           /* bkph */
-#endif /* INITEX */
+          goto done;
+        }
+#endif
         print_err("Patterns can be loaded only by INITEX");
         help_ptr = 0;
         error();
+
         do
-        {
-          get_token();
-        }
-        while(!(cur_cmd == 2));
+          {
+            get_token();
+          }
+        while (!(cur_cmd == right_brace));
+
         return;
       }
       else
       {
         new_hyph_exceptions();
-        goto lab30;
+        goto done;
       }
       break;
-    case 77:
+
+    case assign_font_dimen:
       {
         find_font_dimen(true);
         k = cur_val;
@@ -1474,34 +1436,39 @@ void prefixed_command (void)
         font_info[k].cint = cur_val;
       }
       break;
-    case 78:
+
+    case assign_font_int:
       {
         n = cur_chr;
         scan_font_ident();
         f = cur_val;
         scan_optional_equals();
         scan_int();
+
         if (n == 0)
-          hyphen_char[f]= cur_val;
+          hyphen_char[f] = cur_val;
         else
-          skew_char[f]= cur_val;
+          skew_char[f] = cur_val;
       }
       break;
-    case 88:
+
+    case def_font:
       new_font(a);
       break;
-    case 100:
+
+    case set_interaction:
       new_interaction();
       break;
+
     default:
       {
         confusion("prefix");
-        return;       // abort_flag set
+        return;
       }
       break;
-  } /* end of cur_cmd switch */
+  }
 
-lab30:
+done:
   if (after_token != 0)
   {
     cur_tok = after_token;
@@ -1509,457 +1476,383 @@ lab30:
     after_token = 0;
   }
 }
-
-/* added following explanations 96/Jan/10 */
-
-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;
 
-/* sec 1308 */
-  undump_int(x); /* CHECKSUM */
-  if (x != BEGINFMTCHECKSUM) /* magic FMT file start 4C 20 E6 15 hex */
-    goto lab6666;
+  undump_int(x);
+
+  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 ! */
-  initialize_aux();              /* do `mem' part of initialize */
-/*  mem = zmem; */               /* update pointer to main memory */
+    exit(EXIT_FAILURE);
+
+  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 bad_fmt;
 
-  undump_int(x); /* eqtbsize */
-  if (x != (hash_size + 4006)) /* eqtbsize */
-    goto lab6666;
   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;
   }
+
   {
     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))
-    return -1; /* undump string ptrs */
+    return -1;
+
   if (undumpthings(str_pool[0], pool_ptr))
-    return -1; /*  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 < 1019) || (x > mem_top - 14))
-      goto lab6666;
-    else
-      lo_mem_max = x;
-  }
-  {
-    undump_int(x);
-    if ((x < 20) || (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;
-    p = q + mem[q].hh.v.LH;
-    if ((p > lo_mem_max) || ((q >= mem[q + 1].hh.v.RH) && (mem[q + 1].hh.v.RH != rover)))
-      goto lab6666;
-    q = mem[q + 1].hh.v.RH;
-  }
-  while(!(q == rover));
+    {
+      if (undumpthings(mem[p], q + 2 - p))
+        return -1;
+
+      p = q + node_size(q);
+
+      if ((p > lo_mem_max) || ((q >= rlink(q)) && (rlink(q) != rover)))
+        goto bad_fmt;
+
+      q = rlink(q);
+    }
+  while (!(q == rover));
+
   if (undumpthings(mem[p], lo_mem_max + 1 - p))
     return -1;
-/*  if (mem_min < -2) */
-  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);
-    p = mem[rover + 1].hh.v.LH;
+      puts("Splicing in mem_min space in undump!");
+
+    p = llink(rover);
     q = mem_min + 1;
-    mem[mem_min].hh.v.RH = 0;       /* null */
-    mem[mem_min].hh.v.LH = 0;       /* null */
-    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 = 262143L;  */ /* NO! */
-    mem[q].hh.v.RH = empty_flag;
-/*    mem[q].hh.v.LH = -0 - q;  */
-    mem[q].hh.v.LH = mem_bot - q;     /* ? size of block  */
-  }
-  {
-    undump_int(x);
-    if ((x < lo_mem_max + 1) || (x > mem_top - 13))
-      goto lab6666;
-    else
-      hi_mem_min = x;
-  }
-  {
-    undump_int(x);
-/*    if ((x < 0)||(x > mem_top))  */
-    if ((x < mem_bot) || (x > mem_top))
-      goto lab6666;
-    else
-      avail = x;
-  }
+    link(mem_min) = 0;       /* null */
+    info(mem_min) = 0;       /* null */
+    rlink(p) = q;
+    llink(rover) = q;
+    rlink(q) = rover;
+    llink(q) = p;
+    link(q) = empty_flag;
+    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))
     return -1;
+
   undump_int(var_used);
   undump_int(dyn_used);
-  k = 1;
+
+  k = active_base;
+
   do
-  {
-    undump_int(x);
-    if ((x < 1) || (k + x > (hash_size + 4007)))
-      goto lab6666;
-    if (undumpthings(eqtb[k], x))
-      return -1;
-    k = k + x;
-    undump_int(x);
-    if ((x < 0) || (k + x > (hash_size + 4007)))
-      goto lab6666;
-    for (j = k; j <= k + x - 1; j++)
     {
-      eqtb[j] = eqtb[k - 1];
+      undump_int(x);
+
+      if ((x < 1) || (k + x > (eqtb_size + 1)))
+        goto bad_fmt;
+
+      if (undumpthings(eqtb[k], x))
+        return -1;
+
+      k = k + x;
+      undump_int(x);
+
+      if ((x < 0) || (k + x > (eqtb_size + 1)))
+        goto bad_fmt;
+
+      for (j = k; j <= k + x - 1; j++)
+        eqtb[j] = eqtb[k - 1];
+
+      k = k + x;
     }
-    k = k + x;
-  } while(!(k > (hash_size + 4006)));
-  {
-    undump_int(x);
-/*  if ((x < hashbase)||(x > hashbase + hashsize)) */
-/*    if ((x < 514)||(x > (hash_size + 514)))  */
-    if ((x < 514)||(x > (hash_size + hash_extra + 514)))  /*96/Jan/10*/
-      goto lab6666;
-    else
-      par_loc = x;
-  }
-  par_token = 4095 + par_loc;
-  {
-    undump_int(x);
-/*  if ((x < hashbase)||(x > hashbase + hashsize)) */
-/*    if ((x < 514)||(x > (hash_size + 514)))  */
-    if ((x < 514) || (x > (hash_size + hash_extra + 514))) /*96/Jan/10*/
-      goto lab6666;
-    else
-      write_loc = x;
-  }
-  {
-    undump_int(x);
-/*  if ((x < hashbase)||(x > hashbase + hashsize)) */
-/*    if ((x < 514)||(x > (hash_size + 514)))  */
-    if ((x < 514) || (x > (hash_size + hash_extra + 514))) /*96/Jan/10*/
-      goto lab6666;
-    else
-      hash_used = x;
-  }
-  p = 513;
-  do {
+  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
     {
-      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));
-  if (undumpthings(hash[hash_used + 1], (hash_size + 780) - hash_used))
+  while (!(p == 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)
+    printf("itex undump cs_count %lld ", cs_count);
+
   {
-    sprintf(log_line, "itex undump cs_count %d ", cs_count); /* debugging */
-    show_line(log_line, 0);
-  }
-  {
-    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);
-    }
-    if (x > current_font_mem_size) /* 93/Nov/28 dynamic allocate font_info */
+      printf("Read from fmt fmem_ptr = %lld\n", x);
+
+    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;
   }
+
   {
     if (undumpthings(font_info[0], fmem_ptr))
       return -1;
+
     {
       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;
     }
-    frozenfontptr = font_ptr; /* remember number of fonts frozen into format */
+
+    frozen_font_ptr = font_ptr;
+
     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;
   }
 
 /* log not opened yet, so can't show fonts frozen into format */
-  
 /* May be able to avoid the following since we switched to */
 /* 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;
-   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 > 607))  */
-    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(0)(str_ptr)(hyph_word[j]); */
-    {
-      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];
     }
-/* undump(min_halfword)(max_halfword)(hyph_list[j]); */
+
+    if (oldfont_mem_size != non_address && oldfont_mem_size > font_max)
     {
-      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] = non_address;
+          count++;
+        }
+      }
+
+      if (trace_flag)
+        printf("oldfont_mem_size is %d --- hit %d times. Using non_address %d\n",
+            oldfont_mem_size, count, non_address);
     }
   }
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
+#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 ! */
 /* but, we can reclaim the string storage wasted ... */
@@ -1967,17 +1860,18 @@ bool load_fmt_file (void)
   {
     if (new_hyphen_prime != 0)
     {
-      realloc_hyphen(new_hyphen_prime); /*  reset_hyphen(); */
+      realloc_hyphen(new_hyphen_prime); /* reset_hyphen(); */
       hyphen_prime = new_hyphen_prime;
     }
   }
 #endif
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
+
   {
     undump_int(x);
+
     if (x < 0)
-      goto lab6666;
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
+      goto bad_fmt;
+
 #ifdef ALLOCATETRIES
     if (!is_initex)
     {
@@ -1985,190 +1879,168 @@ bool load_fmt_file (void)
 /* trie_size = x; */ /* ??? */
     }
 #endif
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
+
     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;
+
   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 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 */
-/* for k:=1 to j do
-  begin undump(0)(63)(hyf_distance[k]); {a |small_number|}
-  undump(0)(63)(hyf_num[k]);
-  undump(min_quarterword)(max_quarterword)(hyf_next[k]); end; */
+#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(0)(k-1)(k) */
-    {
-      undump_int(x);
-      if ((x < 0) || (x > k - 1))
-        goto lab6666;
-      else
-        k = x;
-    }
-/* undump(1)(j)(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 < 0) || (x > 3))
-      goto lab6666;
-/*    else interaction = x;  */
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
-    if (interaction < 0)    /* 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;
-
-  Result = true;
-  return(Result);
-
-lab6666:;
-  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;
+  if ((x != ENDFMTCHECKSUM) || feof(fmt_file))
+    goto bad_fmt;
+
+  return true;
+
+bad_fmt:
+  puts("(Fatal format file error; I'm stymied)");
+
+  return false;
 }
 /* sec 1335 */
 void final_cleanup (void)
 {
   small_number c;
+
   c = cur_chr;
+
   if (job_name == 0)
     open_log_file();
-  while (input_ptr > 0) {
-    if (cur_input.state_field == 0)
-    {
+
+  while (input_ptr > 0)
+  {
+    if (state == token_list)
       end_token_list();
-    }
     else
       end_file_reading();
   }
-  while (open_parens > 0) {
-    print_string(" )");
+
+  while (open_parens > 0)
+  {
+    prints(" )");
     decr(open_parens);
   }
+
   if (cur_level > level_one)
   {
     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(')');
   }
-  while (cond_ptr != 0) {
+
+  while (cond_ptr != 0)
+  {
     print_nl("(");
     print_esc("end occurred ");
-    print_string("when ");
-    print_cmd_chr(105, cur_if); /* i */
+    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 != 0)
-    if (((history == 1) || (interaction < 3)))
-      if (selector == 19)
+
+  if (history != spotless)
+    if (((history == warning_issued) || (interaction < error_stop_mode)))
+      if (selector == term_and_log)
       {
-        selector = 17;
-        print_nl(" (see the transcript file for additional information)");
-        selector = 19;
+        selector = term_only;
+        print_nl("(see the transcript file for additional information)");
+        selector = term_and_log;
       }
+
   if (c == 1)
   {
 #ifdef INITEX
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
     if (is_initex)
     {
       for (c = 0; c <= 4; c++)
@@ -2176,397 +2048,313 @@ void final_cleanup (void)
         if (cur_mark[c] != 0)
           delete_token_ref(cur_mark[c]);
       }
+
       if (last_glue != max_halfword)
         delete_glue_ref(last_glue);
-      store_fmt_file(); // returns a value ?
-    }
-#endif /* INITEX */
-    if (!is_initex)       /* 2000/March/3 */
-      print_nl(" (\\dump is performed only by INITEX)");
-  }
-}
-// debugging code for checking the string pool
-#ifdef CHECKPOOL
-int checkpool (char *task)
-{ 
-  int c, i, k, n, st, flag, bad = 0;
 
-  if (task != NULL)
-  {
-    sprintf(log_line, "Check on string pool start (%s)\n", task);
-    show_line(log_line, 0);
-  }
-  for (k = 0; k < 32; k++)
-  {
-    if (str_start[k] != 3 * k)
-    {
-      sprintf(log_line, "k %d str_start[k] %d\n", k, str_start[k]);
-      show_line(log_line, 0);
-    }
-  }
-  for (k = 32; k < 128; k++)
-  {
-    if (str_start[k] != 96 + (k - 32))
-    {
-      sprintf(log_line, "k %d str_start[k] %d\n", k, str_start[k]);
-      show_line(log_line, 0);
+      store_fmt_file();
     }
-  }
-  for (k = 128; k < 256; k++)
-  {
-    if (str_start[k] != 194 + 4 * (k - 128))
-    {
-      sprintf(log_line, "k %d str_start[k] %d\n", k, str_start[k]);
-      show_line(log_line, 0);
-    }
-  }
-  if (task != NULL)
-  {
-    sprintf(log_line, "Check on string pool (%s)\n", task);
-    show_line(log_line, 0);
-  }
-  for (k = 0; k < str_ptr; k++)
-  {
-    if (str_start[k + 1] == 0)
-      break;
-    n = length(k);
-    if (n < 0)
-      break;
-    st = str_start[k];
-    flag = 0;
-    for (i = 0; i < n; i++)
-    {
-      if (str_pool[st + i] == 0)
-      {
-        flag = 1; break;
-      }
-      if (str_pool[st + i] > 255)
-      {
-        flag = 1; break;
-      }
-    }
-    if (flag)
-    {
-      bad++;
-      sprintf(log_line, "BAD %d (start at %d): ", k, st);
-      show_line(log_line, 0);
-      s = log_line;
-      for (i = 0; i < n; i++)
-      {
-        c = str_pool[st + i];
-        if (c > 255)
-        {
-          sprintf(s, "%d ", c);
-          s += strlen(s);
-          continue;
-        }
-        if (c >= 128)
-        {
-          c -= 128;
-          sprintf(s, "M-");
-          s += strlen(s);
-        }
-        if (c < 32)
-        {
-          c += 64;
-          sprintf(s, "C-");
-          s += strlen(s);
-        }
-//        putc(c, stdout);
-        *s++ = c;   // ???
-      }
-      *s++ = '\n';
-      *s++ = '\0';
-      show_line(log_line, stdout);
-    }
-  }
-  sprintf(log_line, "end of check (%s)\n", bad ? "BAD" : "OK");
-  show_line(log_line, 0);
-  if (bad)
-  {
-    if (task == NULL)
-      return bad;
-    else
-      exit(1);
-  }
-  return bad;
-}  /* DEBUGGING ONLY */
 #endif
 
+    if (!is_initex)
+      print_nl("(\\dump is performed only by INITEX)");
+  }
+}
+
 void show_frozen (void)
 {
   int i, j, n;
+
   fprintf(log_file, "\n");
-  fprintf(log_file, "(%d fonts frozen in format file:\n", font_ptr);
-/*  ignore font 0 which is nullfont */
-/*  for (i = 1; i < font_ptr+1; i++) */
+  fprintf(log_file, "(%lld fonts frozen in format file:\n", font_ptr);
+
   for (i = 1; i <= font_ptr; i++)
   {
     if (i > 1)
       fprintf(log_file, ", ");
+
     if ((i % 8) == 0)
       fprintf(log_file, "\n");
+
     n = str_start[font_name[i] + 1] - str_start[font_name[i]];
+
     for (j = 0; j < n; j++)
     {
       putc(str_pool[str_start[font_name[i]] + j], log_file);
-/*         str_pool[str_start[font_name[i]]+j] = '?'; */
     }
   }
+
   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
-
-/* void texbody()  */
-int texbody (void)          /* now returns a value --- bkph */
+int main_program (void)
 {
-  history = 3;
+  history = fatal_error_stop;
 
-  set_paths(TEXFORMATPATHBIT + TEXINPUTPATHBIT + TEXPOOLPATHBIT + TFMFILEPATHBIT);
-/* magic number */
   if (ready_already == 314159L)
-    goto lab1;
-/*  These tests are almost all compile time tests and so could be eliminated */
+    goto start_of_TEX;
+
   bad = 0;
+
   if ((half_error_line < 30) || (half_error_line > error_line - 15))
     bad = 1;
+
   if (max_print_line < 60)
     bad = 2;
+
   if (dvi_buf_size % 8 != 0)
     bad = 3;
-  if (1100 > mem_top)
-    bad = 4;   /* not compile time */
-/*  if (hash_prime > hash_size) */
+
+  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 */
-  if (mem_top < 267)
-    bad = 7;    /* where from ? *//* not compile time */
+    bad = 6;
+
+  if (mem_top < 256 + 11)
+    bad = 7;
+
 #ifdef INITEX
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
   if (is_initex)
   {
     if ((mem_min != 0) || (mem_max != mem_top))
       bad = 10;
   }
-#endif /* INITEX */
-/*  if ((mem_min > 0)||(mem_max < mem_top))  */
-  if ((mem_min > mem_bot)||(mem_max < mem_top))
+#endif
+
+  if ((mem_min > mem_bot) || (mem_max < mem_top))
     bad = 10;
-  if ((min_quarterword > 0)||(max_quarterword < 255))
+
+  if ((min_quarterword > 0) || (max_quarterword < 255))
     bad = 11;
-/*  if ((0 > 0)||(262143L < 32767))  */
-  if ((min_halfword > 0)||(max_halfword < 32767))
+
+  if ((min_halfword > 0) || (max_halfword < 32767))
     bad = 12;
-/*  if ((0 < 0)||(255 > 262143L))  */
+
   if ((min_quarterword < min_halfword) || (max_quarterword > max_halfword))
     bad = 13;
-/*  if ((mem_min < 0)||(mem_max >= 262143L)||(-0 - mem_min > 262144L))  */
+
   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 > 65535)
 #else
   if (font_max > 256)
 #endif
     bad = 16;
-/*  if ((save_size > 262143L)||(max_strings > 262143L)) */
+
   if ((save_size > max_halfword) || (max_strings > max_halfword))
     bad = 17;
+
   if (buf_size > max_halfword)
     bad = 18;
+
   if (max_quarterword - min_quarterword < 255)
     bad = 19;
-/* if cs_token_flag + undefined_control_sequence > max_halfword then bad <- 21;*/
-/*  if ((hash_size + 4876) > 262143L)*/
-/*  if ((hash_size + 4876) > max_halfword) */
-  if ((hash_size + 4095 + 781) > max_halfword)
+
+  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;
+
   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");  /* 96/Jan/17 */
-    goto lab9999;     // abort
+
+    goto final_end;
   }
+
   initialize();
+
 #ifdef INITEX
   if (is_initex)
   {
     if (!get_strings_started())
-      goto lab9999;   // abort
+      goto final_end;
+
     init_prim();
     init_str_ptr = str_ptr;
     init_pool_ptr = pool_ptr;
-    dateandtime(tex_time, day, month, year);
+    fix_date_and_time();
   }
-#endif /* INITEX */
-  ready_already = 314159L;      /* magic number */
+#endif
+
+  ready_already = 314159L;
 
-lab1:     /* get here directly if ready_already already set ... */
-  selector = 17;
+start_of_TEX:
+  selector = term_only;
   tally = 0;
   term_offset = 0;
   file_offset = 0;
-  show_line(tex_version, 0);
-  sprintf(log_line, " (%s %s)", application, yandyversion);
-  show_line(log_line, 0);
-  if (format_ident > 0)
-    slow_print(format_ident);
-  print_ln();
-#ifndef _WINDOWS
-  fflush(stdout);
+
+  {
+    char dist_ver[256];
+#ifdef _WIN32
+  #ifdef _WIN64
+    sprintf(dist_ver, "%s (%s %s/Win64)", tex_version, application, yandyversion);
+  #else
+    sprintf(dist_ver, "%s (%s %s/Win32)", tex_version, application, yandyversion);
+  #endif
+#else
+    sprintf(dist_ver, "%s (%s %s/Linux)", tex_version, application, yandyversion);
 #endif
+    prints(dist_ver);
+  }
+
+  if (format_ident == 0)
+  {
+    prints(" (preloaded format=");
+    prints(format_name);
+    prints(")");
+    print_ln();
+  }
+  else
+  {
+    slow_print(format_ident);
+    print_ln();
+  }
+
+  update_terminal();
   job_name = 0;
   name_in_progress = false;
   log_opened = false;
   output_file_name = 0;
+
   {
     {
       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;
+
 #ifdef ALLOCATEBUFFER
-/*    first = current_buf_size; */
-      memset (buffer, 0, current_buf_size); /* redundant */
+      memset (buffer, 0, current_buf_size);
 #else
-/*    first = buf_size; */
-      memset (buffer, 0, buf_size);     /* redundant ? */
+      memset (buffer, 0, buf_size);
 #endif
-/*      do {
-      buffer[first]= 0;
-      decr(first);
-      } while(!(first == 0)); */
-      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;
+      name = 0;
       force_eof = false;
       align_state = 1000000L;
+
       if (!init_terminal())
-        goto lab9999; // abort
-      cur_input.limit_field = last;
+        goto final_end;
+
+      limit = last;
       first = last + 1;
     }
-/*    if ((format_ident == 0)||(buffer[cur_input.loc_field]== 38)) */
-/*    For Windows NT, lets allow + instead of & for format specification */
-    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; // abort
-      if (!load_fmt_file ())
+
+      if (!open_fmt_file())
+        goto final_end;
+
+      if (!load_fmt_file())
       {
+#ifdef COMPACTFORMAT
+        gzclose(gz_fmt_file);
+#else
         w_close(fmt_file);
-        goto lab9999; // abort
+#endif
+        goto final_end;
       }
+
+#ifdef COMPACTFORMAT
+      gzclose(gz_fmt_file);
+#else
       w_close(fmt_file);
-      while ((cur_input.loc_field < cur_input.limit_field) &&
-          (buffer[cur_input.loc_field] == 32))
-        incr(cur_input.loc_field);
-    }
-#ifdef CHECKEQTB
-    if (debug_flag)
-      check_eqtb("after format"); /* debugging 94/Apr/5 */
 #endif
-    if ((end_line_char < 0) || (end_line_char > 255))
-      decr(cur_input.limit_field);
+
+      while ((loc < limit) && (buffer[loc] == ' '))
+        incr(loc);
+    }
+
+    if (end_line_char_inactive())
+      decr(limit);
     else
-      buffer[cur_input.limit_field] = end_line_char;
-    dateandtime(tex_time, day, month, year);
-    magic_offset = str_start[886] - 9 * 16;  /* following: */
-/*  "0234000122*4000133**3**344*0400400*000000234000111*1111112341011" */
-    if (interaction == 0)
-      selector = 16;
+      buffer[limit] = end_line_char;
+
+    fix_date_and_time();
+    magic_offset = str_start[886] - 9 * ord_noad;
+
+    if (interaction == batch_mode)
+      selector = no_print;
     else
-      selector = 17;
-     if ((cur_input.loc_field < cur_input.limit_field) &&
-       (eqtb[(hash_size + 1883) + buffer[cur_input.loc_field]].hh.v.RH != 0))
-       start_input();
+      selector = term_only;
+
+    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 */
-
-//  what if abort_flag is set now ?
+  main_control();
 
   if (show_cs_names)
-    print_cs_names(stdout, 1);    /* 98/Mar/31 */
-
-//  what if abort_flag is set now ?
+    print_cs_names(stdout, 1);
 
   final_cleanup();
-
-//  if (abort_flag) return -1;
-
   close_files_and_terminate();
 
-lab9999:
+final_end:
   {
     int code;
+
 #ifndef _WINDOWS
     fflush(stdout);
 #endif
+
     ready_already = 0;
-    if ((history != 0) && (history != 1))
+
+    if ((history != spotless) && (history != warning_issued))
       code = 1;
     else
       code = 0;
-//    now return instead of exit to allow cleanup in local.c
+
     return code;
-//    uexit(code);
   }
-} /* end of texbody */
+}
 
 #ifdef ALLOCATEMAIN
-/* add a block of variable size node space below mem_bot */
-/* used in tex0.c, local.c, itex.c */
+/* add a block of variable size node space below mem_bot(0) */
 void add_variable_space(int size)
 {
   halfword p;
@@ -2574,48 +2362,46 @@ 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;
 
   mem_min = t - (size + 1);     /* first word in new block - 1 */
-/*  mem_min = mem_start; */     /* allocate all of it at once */
-  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;
   }
-  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
 
-/**************************************************************************/
-/* All ini TeX code is here at end so can use same pragma optimize for it */
-/* Ini-TeX code is rarely needed/used so make it small rather than fast   */
-
-#pragma optimize("t", off)
-#pragma optimize("s", on)
-
 #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++)
     trie_used[k] = min_trie_op;
+
   max_op_used = min_trie_op;
   trie_op_ptr = 0;
   trie_not_ready = true;
@@ -2625,44 +2411,47 @@ void reset_trie (void)
   trie_not_ready = true;
 }
 /* borrowed code from initialize() */
-void reset_hyphen (void)
+void reset_hyphen(void)
 {
   hyph_pointer z;
 
   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;
 }
 /* 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; */
 
-/* -> 0164 */
   for (k = mem_bot + 1; k <= lo_mem_stat_max; k++)
     mem[k].cint = 0;
+
   k = mem_bot;
-  while(k <= lo_mem_stat_max)
+
+  while (k <= lo_mem_stat_max)
   {
     glue_ref_count(k) = 1;
     stretch_order(k) = normal;
     shrink_order(k) = normal;
     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;
@@ -2672,8 +2461,10 @@ void do_initex (void)
   lo_mem_max = rover + block_size;
   link(lo_mem_max) = 0;
   info(lo_mem_max) = 0;
+
   for (k = hi_mem_stat_min; k <= mem_top; k++)
     mem[k] = mem[lo_mem_max];
+
   info(omit_template) = end_template_token;
   link(end_span) = max_quarterword + 1;
   info(end_span) = 0;
@@ -2685,373 +2476,210 @@ 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 */
-  mem_end = mem_top;           /* mem_end <- mem_top */
+  avail = 0;
+  mem_end = mem_top;
   hi_mem_min = hi_mem_stat_min;
-  var_used = 20;               /* var_used <- lo_mem_stat_max */
-  dyn_used = 14;               /* dyn_used <- hi_mem_stat_usage */
+  var_used = lo_mem_stat_max + 1 - mem_bot;
+  dyn_used = hi_mem_stat_usage;
   eq_type(undefined_control_sequence) = undefined_cs;
   equiv(undefined_control_sequence) = 0;
   eq_level(undefined_control_sequence) = level_zero;
+
   for (k = active_base; k <= undefined_control_sequence - 1; k++)
-    eqtb[k]= eqtb[undefined_control_sequence];
-  eqtb[(hash_size + 782)].hh.v.RH = 0; /* glue_base (hash_size + 782) */
+    eqtb[k] = eqtb[undefined_control_sequence];
+
+  equiv(glue_base) = zero_glue;
   eq_level(glue_base) = level_one;
-  eqtb[(hash_size + 782)].hh.b0 = 117;
+  eq_type(glue_base) = glue_ref;
+
   for (k = glue_base + 1; k <= local_base - 1; k++)
-    eqtb[k]= eqtb[glue_base];
-/* glue_ref_count(zero_glue):=glue_ref_count(zero_glue)+local_base-glue_base; */
-/* local_base - glue_base = 530 = 17 glue_pars + 256 skip + 256 mu_skip */
-  mem[0].hh.v.RH = mem[0].hh.v.RH + 530; /* mem[mem_bot]? */
-/* box(0):=null; eq_type(box_base):=box_ref; eq_level(box_base):=level_one; */
-  eqtb[(hash_size + 1312)].hh.v.RH = 0;
-  eqtb[(hash_size + 1312)].hh.b0 = 118;
-  eqtb[(hash_size + 1312)].hh.b1 = 1;
+    eqtb[k] = eqtb[glue_base];
+
+  glue_ref_count(zero_glue) = glue_ref_count(zero_glue) + local_base - glue_base;
+
+  par_shape_ptr = 0;
+  eq_type(par_shape_loc) = shape_ref;
+  eq_level(par_shape_loc) = level_one;
+
   for (k = output_routine_loc; k <= toks_base + 255; k++)
-    eqtb[k]= eqtb[undefined_control_sequence];
-  eqtb[(hash_size + 1578)].hh.v.RH = 0;
-  eqtb[(hash_size + 1578)].hh.b0 = 119;
-  eqtb[(hash_size + 1578)].hh.b1 = 1;
+    eqtb[k] = eqtb[undefined_control_sequence];
+
+  box(0) = 0;
+  eq_type(box_base) = box_ref;
+  eq_level(box_base) = level_one;
+
   for (k = box_base + 1; k <= box_base + 255; k++)
-    eqtb[k]= eqtb[box_base];
-  eqtb[(hash_size + 1834)].hh.v.RH = 0;
-  eqtb[(hash_size + 1834)].hh.b0 = 120;
-  eqtb[(hash_size + 1834)].hh.b1 = 1;
+    eqtb[k] = eqtb[box_base];
+
+  cur_font = null_font;
+  eq_type(cur_font_loc) = data;
+  eq_level(cur_font_loc) = level_one;
+
   for (k = math_font_base; k <= math_font_base + 47; k++)
-    eqtb[k]= eqtb[cur_font_loc];
-  eqtb[(hash_size + 1883)].hh.v.RH = 0;
-  eqtb[(hash_size + 1883)].hh.b0 = 120;
-  eqtb[(hash_size + 1883)].hh.b1 = 1;
+    eqtb[k] = eqtb[cur_font_loc];
+
+  equiv(cat_code_base) = 0;
+  eq_type(cat_code_base) = data;
+  eq_level(cat_code_base) = level_one;
+
   for (k = cat_code_base; k <= int_base - 1; k++)
-    eqtb[k]= eqtb[cat_code_base];
+    eqtb[k] = eqtb[cat_code_base];
+
   for (k = 0; k <= 255; k++)
   {
-    eqtb[(hash_size + 1883) + k].hh.v.RH = 12;
-    eqtb[(hash_size + 2907) + k].hh.v.RH = k;
-    eqtb[(hash_size + 2651) + k].hh.v.RH = 1000;
+    cat_code(k) = other_char;
+    math_code(k) = k;
+    sf_code(k) = 1000;
   }
-/* cat_base == 11383 */ 
-  eqtb[(hash_size + 1896)].hh.v.RH = car_ret;
-  eqtb[(hash_size + 1915)].hh.v.RH = spacer;
-  eqtb[(hash_size + 1975)].hh.v.RH = escape;
-  eqtb[(hash_size + 1920)].hh.v.RH = comment;
-  eqtb[(hash_size + 2010)].hh.v.RH = invalid_char;
-  eqtb[(hash_size + 1883)].hh.v.RH = ignore;
-/* for k:="0" to "9" do math_code(k):=hi(k+var_code); */
+
+  cat_code(carriage_return) = car_ret;
+  cat_code(' ') = spacer;
+  cat_code('\\') = escape;
+  cat_code('%') = comment;
+  cat_code(invalid_code) = invalid_char;
+  cat_code(null_code) = ignore;
+
   for (k = '0'; k <= '9'; k++)
-    eqtb[(hash_size + 2907) + k].hh.v.RH = k + 28672;
-/* cat_code of uppercase and lowercase letters ... */
+    math_code(k) = k + var_code;
+
   for (k = 'A'; k <= 'Z'; k++)
   {
-/* cat_code ... */
-    eqtb[(hash_size + 1883) + k].hh.v.RH = 11;
-    eqtb[(hash_size + 1883) + k + 32].hh.v.RH = 11;
-/* mathcode(k) = hi(k + var_code + "100); */ /* '70000 + 256 */
-    eqtb[(hash_size + 2907) + k].hh.v.RH = k + 28928; /* '70000 + 256 */
-/* mathcode(k + "a" - "A") = hi(k + "a" - "A" + var_code + "100); */
-    eqtb[(hash_size + 2907) + k + 32].hh.v.RH = k + 28960; /* '70000 + 256 + 32 */
-/* lc_code ... */
-    eqtb[(hash_size + 2139) + k].hh.v.RH = k + 32;
-    eqtb[(hash_size + 2139) + k + 32].hh.v.RH = k + 32;
-/* uc_code ... */
-    eqtb[(hash_size + 2395) + k].hh.v.RH = k;
-    eqtb[(hash_size + 2395) + k + 32].hh.v.RH = k;
-/* sf_code */
-    eqtb[(hash_size + 2651) + k].hh.v.RH = 999;
+    cat_code(k) = letter;
+    cat_code(k + 'a' - 'A') = letter;
+    math_code(k) = k + var_code + 0x100;
+    math_code(k + 'a' - 'A') = k + 'a' - 'A' + var_code + 0x100;
+    lc_code(k) = k + 'a' - 'A';
+    lc_code(k + 'a' - 'A') = k + 'a' - 'A';
+    uc_code(k) = k;
+    uc_code(k + 'a' - 'A') = k;
+    sf_code(k) = 999;
   }
+
   for (k = int_base; k <= del_code_base - 1; k++)
     eqtb[k].cint = 0;
+
   mag = 1000;
   tolerance = 10000;
   hang_after = 1;
   max_dead_cycles = 25;
-  escape_char = 92;
-  end_line_char = 13;
+  escape_char = '\\';
+  end_line_char = carriage_return;
+
   for (k = 0; k <= 255; k++)
-    eqtb[(hash_size + 3474) + k].cint = -1;
-  eqtb[(hash_size + 3520)].cint = 0;
+    del_code(k) = -1;
+
+  del_code('.') = 0;
+
   for (k = dimen_base; k <= eqtb_size; k++)
     eqtb[k].cint = 0;
+
   hash_used = frozen_control_sequence;
   cs_count = 0;
+
   if (trace_flag)
-    show_line("itex cs_count = 0 ", 0); /* debugging */
+    puts("initex cs_count = 0 ");
+
   eq_type(frozen_dont_expand) = dont_expand;
   text(frozen_dont_expand) = 499;  /* notexpanded */
-/* @<Initialize table...@>= l.10750 */
-  font_ptr            = 0;
-  fmem_ptr            = 7;
-  font_name[0]        = 795; /* nullfont */
-  font_area[0]        = 335; /* "" */
-  hyphen_char[0]      = '-';
-  skew_char[0]        = -1; 
-  bchar_label[0]      = non_address;
-  font_bchar[0]       = 256; /* font_bchar[null_font]:=non_char; */
-  font_false_bchar[0] = 256; /* font_false_bchar[null_font]:=non_char; */
-  font_bc[0]          = 1;
-  font_ec[0]          = 0;
-  font_size[0]        = 0;
-  font_dsize[0]       = 0;
-  char_base[0]        = 0;
-  width_base[0]       = 0;
-  height_base[0]      = 0;
-  depth_base[0]       = 0;
-  italic_base[0]      = 0;
-  lig_kern_base[0]    = 0;
-  kern_base[0]        = 0;
-  exten_base[0]       = 0;
-  font_glue[0]        = 0;
-  font_params[0]      = 7;
-  param_base[0]       = -1;
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***  */
-  reset_trie();         /* shared 93/Nov/26 */
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***  */
-/*  {register integer for_end; k = 0; for_end = 6; if (k <= for_end) do 
-    font_info[k].cint = 0; 
-  while(k++ < for_end); } 
-  {register integer for_end; k = - (integer) trie_op_size; for_end = 
-  trie_op_size; if (k <= for_end) do 
-    trie_op_hash[k]= 0; 
-  while(k++ < for_end); } 
-  {register integer for_end; k = 0; for_end = 255; if (k <= for_end) do 
-    trie_used[k]= min_trie_op; 
-  while(k++ < for_end); } 
-  max_op_used = min_trie_op; 
-  trie_op_ptr = 0; 
-  trie_not_ready = true; 
-  trie_l[0]= 0; 
-  trie_c[0]= 0; 
-  trie_ptr = 0; */
 
+  font_ptr                    = null_font;
+  fmem_ptr                    = 7;
+  font_name[null_font]        = 795; /* nullfont */
+  font_area[null_font]        = 335; /* "" */
+  hyphen_char[null_font]      = '-';
+  skew_char[null_font]        = -1; 
+  bchar_label[null_font]      = non_address;
+  font_bchar[null_font]       = non_char;
+  font_false_bchar[null_font] = non_char;
+  font_bc[null_font]          = 1;
+  font_ec[null_font]          = 0;
+  font_size[null_font]        = 0;
+  font_dsize[null_font]       = 0;
+  char_base[null_font]        = 0;
+  width_base[null_font]       = 0;
+  height_base[null_font]      = 0;
+  depth_base[null_font]       = 0;
+  italic_base[null_font]      = 0;
+  lig_kern_base[null_font]    = 0;
+  kern_base[null_font]        = 0;
+  exten_base[null_font]       = 0;
+  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;  /* " (INITEX)" */
-/*  hash[(hash_size + 522)].v.RH = 1290; */ /* 1288 */
-  hash[(hash_size + hash_extra + 522)].v.RH = 1290; /* 1288 */
-/*  eqtb[(hash_size + 522)].hh.b1 = 1;  */
-  eqtb[(hash_size + hash_extra + 522)].hh.b1 = 1; 
-/*  eqtb[(hash_size + 522)].hh.b0 = 113;  */
-  eqtb[(hash_size + hash_extra + 522)].hh.b0 = 113; 
-/*  eqtb[(hash_size + 522)].hh.v.RH = 0;  */
-  eqtb[(hash_size + hash_extra + 522)].hh.v.RH = 0; 
-} 
-#endif /* INITEX */
+  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;
+}
+#endif
 
 #ifdef INITEX
-/* starts string pool with strings for 256 chars and then reads tex.pool */
-/* adjusted to try both "tex.pool" and "tex.poo" 95/Feb/19               */
-/* I have added a texpool file, but I need merge the pool to the binary  */
-/* lots of things updates the kpathsea sources -- Clerk Ma               */
-
-bool get_strings_started (void)
+/* sec 0047 */
+boolean get_strings_started (void)
 {
-  register bool Result;
-  unsigned char k, l;
-  ASCII_code m, n;
+  integer k;
   str_number g;
-  integer a;
-  bool c;
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
-  int flag; /* 95/Feb/19 */
-/* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
+
   pool_ptr = 0;
   str_ptr = 0;
   str_start[0] = 0;
+
+  for (k = 0; k <= 255; k++)
   {
-    register integer for_end;
-    k = 0;
-    for_end = 255;
-    if (k <= for_end)
-      do {
-        if (((k < 32) || (k > 126)))
-        {
-          append_char('^');
-          append_char('^');
-          if (k < 64)
-            append_char(k + 64);
-          else if (k < 128)
-            append_char(k - 64);
-          else
-          {
-            l = k / 16;
-            if (l < 10)
-            {
-              str_pool[pool_ptr] = l + '0';
-              incr(pool_ptr);
-            }
-            else
-            {
-              str_pool[pool_ptr] = l + 87; /* 'a' - 10 */
-              incr(pool_ptr);
-            }
-            l = k % 16;
-            if (l < 10)
-            {
-              str_pool[pool_ptr] = l + '0';
-              incr(pool_ptr);
-            }
-            else
-            {
-              str_pool[pool_ptr] = l + 87; /* 'a' - 10 */
-              incr(pool_ptr);
-            }
-          }
-        }
-        else append_char(k);
-        g = make_string();
-      } while(k++ < for_end);
-  }
-#ifdef STDPOOL
-  vstrcpy((char *) name_of_file + 1, pool_name);
-  name_of_file[0] = ' ';
-  name_of_file[strlen(pool_name) + 1] = ' '; 
-  name_length = strlen(pool_name);
-/*  if (a_open_in(pool_file, TEXPOOLPATH))  */
-  flag = a_open_in(pool_file, TEXPOOLPATH);
-  if (flag == 0) /* 95/Feb/19 */
-  {
-    pool_name [name_length - 1] = '\0'; /* `tex.pool' => `tex.poo' */
-    vstrcpy((char *) name_of_file + 1, pool_name);
-    name_of_file[0] = ' ';
-    name_of_file[strlen(pool_name) + 1] = ' ';
-    name_length = strlen(pool_name);
-    flag = a_open_in(pool_file, TEXPOOLPATH);
-  }
-  if (flag)
-  {
-    c = false;
-    do {
+    if ( (k < ' ') || (k > '~') )
+    {
+      append_char('^');
+      append_char('^');
+
+      if (k < 64)
+        append_char(k + 64);
+      else if (k < 128)
+        append_char(k - 64);
+      else
       {
-        if (test_eof(pool_file))
-        {
-          show_line("! string pool file has no check sum.\n", 1);
-          if (! knuth_flag)
-            bad_formator_pool(string_file, "the pool file", "TEXPOOL");
-          (void) a_close(pool_file);
-          Result = false;
-          return(Result);
-        }
-        read(pool_file, m);
-        read(pool_file, n);
-        if (m == '*') /* last line starts with * */
-        {
-          a = 0;
-          k = 1;
-          while (true) {
-            if ((xord[n]< 48) || (xord[n]> 57))
-            {
-              show_line("! string pool file check sum doesn't have nine digits.\n", 1);
-              if (!knuth_flag)
-                bad_formator_pool(string_file, "the pool file", "TEXPOOL");
-              (void) a_close(pool_file);
-              Result = false;
-              return(Result);
-            }
-            a = 10 * a + xord[n] - 48;
-            if (k == 9)
-              goto lab30;
-            incr(k);
-            read(pool_file, n);
-          }
-/* tex.pool file check sum *367403084 */
-lab30:
-          if (a != BEGINFMTCHECKSUM)
-          {
-            show_line("! string pool check sum doesn't match; tangle me again.\n", 1);
-            if (!knuth_flag)
-              bad_formator_pool(string_file, "the pool file", "TEXPOOL");
-            (void) a_close(pool_file);
-            Result = false;
-            return(Result);
-          }
-          c = true;
-        }
-        else
-        {
-          if ((xord[m] < 48) || (xord[m] > 57) || (xord[n] < 48) || (xord[n] > 57))
-          {
-            show_line("! string pool line doesn't begin with two digits.\n", 1);
-            if (! knuth_flag)
-              bad_formator_pool(string_file, "the pool file", "TEXPOOL");
-            (void) a_close(pool_file);
-            Result = false;
-            return(Result);
-          }
-          l = xord[m] * 10 + xord[n] - 48 * 11;
-#ifdef ALLOCATESTRING
-/* can freely extend memory, so we need not be paranoid - stringvacancies */
-/* if (pool_ptr + l + stringvacancies > current_pool_size)*/
-          if (pool_ptr + l + stringmargin > current_pool_size)
-          {
-            if (trace_flag)
-              show_line("String margin reallocation\n", 0);
-/* str_pool =  realloc_str_pool (pool_ptr + l + stringvacancies */
-            str_pool =  realloc_str_pool (pool_ptr + l + stringmargin - current_pool_size + increment_pool_size);
-          }
-          if (pool_ptr + l + stringmargin > current_pool_size) /* 94/Jan/24 */
-#else
-          if (pool_ptr + l + stringvacancies > pool_size)
-#endif
-          {
-            show_line("! You have to increase POOLSIZE.\n", 1);
-            (void) a_close(pool_file);
-            Result = false;
-            return(Result);
-          }
-          {
-            register integer for_end;
-            k = 1;
-            for_end = l;
-            if (k <= for_end) 
-              do {
-                if (eoln(pool_file))
-                  m = ' ';
-                else read(pool_file, m);
-                {
-                  str_pool[pool_ptr] = xord[m];
-                  incr(pool_ptr);
-                }
-              } while(k++ < for_end);
-          }
-          readln(pool_file); /* flush rest to end of file / end of line */
-          g = make_string();
-        }
+        append_lc_hex(k / 16);
+        append_lc_hex(k % 16);
       }
-    } while (!(c));
-    (void) a_close(pool_file);
-    Result = true;
-  }
-  else
-  {
-    sprintf(log_line, "! I can't read %s.\n", pool_name);
-    show_line(log_line, 1);
-    if (!knuth_flag)
-      show_line("  (Was unable to find tex.poo or tex.pool)\n", 0); /* extra explain */
-    Result = false;
-    return(Result);
+    }
+    else
+      append_char(k);
+
+    g = make_string();
   }
-#endif
-  g = load_pool_strings (pool_size - stringvacancies);
+
+  g = load_pool_strings(pool_size - string_vacancies);
+
   if (g == 0)
   {
-    fprintf(stdout , "%s\n",  "! You have to increase POOLSIZE." );
-    Result = false;
-    return Result;
+    fprintf(stdout, "%s\n", "! You have to increase POOLSIZE." );
+    return false;
   }
-  Result = true;
-  return Result;
+
+  return true;
 }
-#endif /* INITEX */
+#endif
 
 #ifdef INITEX
+/* sec 0131 */
 void sort_avail (void)
 {
-  halfword p, q, r;
-  halfword old_rover;
-  p = get_node(1073741824L); /* 2^30 merge adjacent free nodes */
+  pointer p, q, r;
+  pointer old_rover;
+
+  p = get_node(010000000000);
   p = rlink(rover);
   rlink(rover) = empty_flag;
   old_rover = rover;
+
   while (p != old_rover)
+  {
     if (p < rover)
     {
       q = p;
@@ -3062,185 +2690,162 @@ void sort_avail (void)
     else
     {
       q = rover;
+
       while (rlink(q) < p)
         q = rlink(q);
+
       r = rlink(p);
       rlink(p) = rlink(q);
       rlink(q) = p;
       p = r;
     }
+  }
+
   p = rover;
-  while (rlink(p) != empty_flag) {
+
+  while (rlink(p) != empty_flag)
+  {
     llink(rlink(p)) = p;
     p = rlink(p);
   }
-  mem[p + 1].hh.v.RH = rover;
+
+  rlink(p) = rover;
   llink(rover) = p;
 }
-#endif /* INITEX */
+#endif
 
 #ifdef INITEX
-/*****************APTEX********************/
-/*
-str_number make_string_pool (char *s)
-{
-  while (*s != '\0') {
-    append_char(*s); incr(s);
-  }
-  return (make_string());
-}
-void primitive_s (char * s, quarterword c, halfword o)
-{
-  pool_pointer k, l;
-  small_number j;
-  str_number prim_str;
-  if (s[1] = '\0')
-    cur_val = s[0] + single_base;
-  else {
-    prim_str = make_string_pool(s);
-    k = str_start[prim_str]; l = str_start[prim_str] - k;
-    for (j = 0; j < l; incr(j)) buffer[j] = str_pool[k + j];
-    cur_val = id_lookup(0, l);
-    flush_string();
-    hash[cur_val].v.RH = prim_str;
-  }
-  eq_level(cur_val) = level_one; eq_type(cur_val) = c; equiv(cur_val) = o;
-}
-*/
-/*****************APTEX********************/
+/* 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 + 257; /* cur_val <- s + single_base; p.264 */
+    cur_val = s + single_base;
   else
   {
     k = str_start[s];
     l = str_start[s + 1] - k; /* small_number l */
+
     for (j = 0; j <= l - 1; j++)
-    {
-        buffer[j] = str_pool[k + j];
-    }
+      buffer[j] = str_pool[k + j];
+
     cur_val = id_lookup(0, l);
     flush_string();
-/* **********************  debugging only  96/Jan/20 should not happen */
-#ifdef SHORTHASH
-    if (s > 65535L)
-      show_line("ERROR: hash entry too large\n", 1);
-#endif
-    hash[cur_val].v.RH = s;
+    text(cur_val) = s;
   }
-  eqtb[cur_val].hh.b1 = 1;
-  eqtb[cur_val].hh.b0 = c;
-  eqtb[cur_val].hh.v.RH = o;
-}
-#endif /* INITEX */
 
-/* more weird constants ? page 394 */
+  eq_level(cur_val) = level_one;
+  eq_type(cur_val) = c;
+  equiv(cur_val) = o;
+}
+#endif
 
 #ifdef INITEX
+/* sec 0944 */
 trie_op_code new_trie_op_ (small_number d, small_number n, trie_op_code v)
 {
-  register trie_op_code Result;
   integer h;
   trie_op_code u;
   integer l;
-/* the 313, 361 and 1009 are hard-wired constants here p.944 */
-/* begin h:=abs(n+313*d+361*v+1009*cur_lang) mod (trie_op_size+trie_op_size) */
-  h = abs(toint(n) + 313 * toint(d) + 361 * toint(v) +
-      1009 * toint(cur_lang)) % (trie_op_size - neg_trie_op_size) + neg_trie_op_size;
-  while (true) {
-/*  if l=0 then {empty position found for a new op} */
+
+  h = abs(n + 313 * d + 361 * v + 1009 * cur_lang) % (trie_op_size + trie_op_size) + neg_trie_op_size;
+
+  while (true)
+  {
     l = trie_op_hash[h];
+
     if (l == 0)
     {
       if (trie_op_ptr == trie_op_size)
       {
-        overflow("pattern memory ops", trie_op_size); /* pattern memory ops  - NOT DYNAMIC */
-        return 0;     // abort_flag set
+        overflow("pattern memory ops", trie_op_size);
+        return 0;
       }
+
       u = trie_used[cur_lang];
-/*    if u=max_quarterword then ??? */
+
       if (u == max_trie_op)
       {
-/*      overflow("pattern memory ops per language", max_quarterword-min_quarterword); ??? */
-        overflow("pattern memory ops per language", max_trie_op - min_trie_op); /* pattern memory ops per language */
-        return 0;     // abort_flag set
+        overflow("pattern memory ops per language", max_trie_op - min_trie_op);
+        return 0;
       }
+
       incr(trie_op_ptr);
       incr(u);
       trie_used[cur_lang] = u;
+
       if (u > max_op_used)
         max_op_used = u;
+
       hyf_distance[trie_op_ptr] = d;
       hyf_num[trie_op_ptr] = n;
       hyf_next[trie_op_ptr] = v;
       trie_op_lang[trie_op_ptr] = cur_lang;
       trie_op_hash[h] = trie_op_ptr;
       trie_op_val[trie_op_ptr] = u;
-      Result = u;
-      return(Result);
+      return u;
     }
-    if ((hyf_distance[l]== d) && (hyf_num[l]== n) &&
-      (hyf_next[l]== v) && (trie_op_lang[l]== cur_lang))
+
+    if ((hyf_distance[l]== d) && (hyf_num[l]== n) && (hyf_next[l]== v) && (trie_op_lang[l]== cur_lang))
     {
-        Result = trie_op_val[l];
-        return(Result);
+      return trie_op_val[l];
     }
+
     if (h > - (integer) trie_op_size)
       decr(h);
     else
       h = trie_op_size;
   }
-/* return Result;  */ /* unreachable code */
 }
-/* what are those horrible constants there ? page 395 */
+/* sec 0948 */
 trie_pointer trie_node_ (trie_pointer p)
 {
-  register trie_pointer Result;
   trie_pointer h;
   trie_pointer q;
-/* the 1009, 2718, 3142 are hard-wired constants here (not hyphen_prime) */
-  h = abs(toint(trie_c[p]) + 1009 * toint(trie_o[p]) +
-      2718 * toint(trie_l[p]) + 3142 * toint(trie_r[p])) % trie_size;
-  while (true) {
+
+  /* the 1009, 2718, 3142 are hard-wired constants here (not hyphen_prime) */
+  /* compute hash value */
+  h = abs(trie_c[p] + 1009 * trie_o[p] + 2718 * trie_l[p] + 3142 * trie_r[p]) % trie_size;
+
+  while (true)
+  {
     q = trie_hash[h];
+
     if (q == 0)
     {
       trie_hash[h] = p;
-      Result = p;
-      return(Result);
+      return p;
     }
+
     if ((trie_c[q] == trie_c[p]) && (trie_o[q] == trie_o[p]) &&
-      (trie_l[q]== trie_l[p]) && (trie_r[q]== trie_r[p]))
+      (trie_l[q] == trie_l[p]) && (trie_r[q] == trie_r[p]))
     {
-        Result = q;
-        return(Result);
+      return q;
     }
+
     if (h > 0)
       decr(h);
     else
       h = trie_size;
   }
-/* return Result;  */ /* unreachable code */
 }
+/* sec 0949 */
 trie_pointer compress_trie_ (trie_pointer p)
 {
-  register trie_pointer Result;
-
   if (p == 0)
-    Result = 0;
+    return 0;
   else
   {
     trie_l[p] = compress_trie(trie_l[p]);
     trie_r[p] = compress_trie(trie_r[p]);
-    Result = trie_node(p);
+    return trie_node(p);
   }
-  return Result;
 }
+/* sec 0953 */
 void first_fit_ (trie_pointer p)
 {
   trie_pointer h;
@@ -3252,73 +2857,101 @@ void first_fit_ (trie_pointer p)
 
   c = trie_c[p];
   z = trie_min[c];
-  while (true) {
+
+  while (true)
+  {
     h = z - c;
+
     if (trie_max < h + 256)
     {
       if (trie_size <= h + 256)
       {
-        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;
       }
-      do {
-        incr(trie_max);
-        trie_taken[trie_max] = false;
-        trie_trl[trie_max] = trie_max + 1;
-        trie_tro[trie_max] = trie_max - 1;
-      } while (!(trie_max == h + 256));
+
+      do
+        {
+          incr(trie_max);
+          trie_taken[trie_max] = false;
+          trie_trl[trie_max] = trie_max + 1;
+          trie_tro[trie_max] = trie_max - 1;
+        }
+      while (!(trie_max == h + 256));
     }
+
     if (trie_taken[h])
-      goto lab45;
+      goto not_found;
+
     q = trie_r[p];
-    while (q > 0) {
+
+    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;
-  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;
-      do {
-        trie_min[l] = r;
-        incr(l);
-      } while (!(l == ll));
+      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));
+      }
+
+      q = trie_r[q];
     }
-    q = trie_r[q];
-  } while (!(q == 0));
+  while (!(q == 0));
 }
+/* sec 0957 */
 void trie_pack_ (trie_pointer p)
 {
   trie_pointer q;
-  do {
-    q = trie_l[p];
-    if ((q > 0) && (trie_hash[q]== 0))
+
+  do
     {
-      first_fit(q);
-      trie_pack(q);
+      q = trie_l[p];
+
+      if ((q > 0) && (trie_hash[q]== 0))
+      {
+        first_fit(q);
+        trie_pack(q);
+      }
+
+      p = trie_r[p];
     }
-    p = trie_r[p];
-  } while(!(p == 0));
+  while (!(p == 0));
 }
+/* sec 0959 */
 void trie_fix_ (trie_pointer p)
 {
   trie_pointer q;
@@ -3326,41 +2959,47 @@ void trie_fix_ (trie_pointer p)
   trie_pointer z;
 
   z = trie_hash[p];
-  do {
-    q = trie_l[p];
-    c = trie_c[p];
-    trie_trl[z + c] = trie_hash[q];
-    trie_trc[z + c] = c;
-    trie_tro[z + c] = trie_o[p];
-    if (q > 0)
-      trie_fix(q);
-    p = trie_r[p];
-  } while(!(p == 0));
+
+  do
+    {
+      q = trie_l[p];
+      c = trie_c[p];
+      trie_trl[z + c] = trie_hash[q];
+      trie_trc[z + c] = c;
+      trie_tro[z + c] = trie_o[p];
+
+      if (q > 0)
+        trie_fix(q);
+
+      p = trie_r[p];
+    }
+  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 */
       }
     }
@@ -3368,29 +3007,28 @@ void new_patterns (void)
 /* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
   if (trie_not_ready)
   {
-    if (language <= 0)
-      cur_lang = 0;
-    else if (language > 255)
-      cur_lang = 0;
-    else
-      cur_lang = language;
+    set_cur_lang();
     scan_left_brace();
     k = 0;
     hyf[0] = 0;
-    digitsensed = false;
-    while (true) {
+    digit_sensed = false;
+
+    while (true)
+    {
       get_x_token();
+
       switch (cur_cmd)
       {
-        case 11:
-        case 12:
-          if (digitsensed || (cur_chr < 48) || (cur_chr > 57))
+        case letter:
+        case other_char:
+          if (digit_sensed || (cur_chr < '0') || (cur_chr > '9'))
           {
             if (cur_chr == '.')
               cur_chr = 0;
             else
             {
-              cur_chr = eqtb[(hash_size + 2139) + cur_chr].hh.v.RH;
+              cur_chr = lc_code(cur_chr);
+
               if (cur_chr == 0)
               {
                 print_err("Nonletter");
@@ -3398,87 +3036,101 @@ void new_patterns (void)
                 error();
               }
             }
+
             if (k < 63)
             {
               incr(k);
               hc[k] = cur_chr;
               hyf[k] = 0;
-              digitsensed = false;
+              digit_sensed = false;
             }
           }
           else if (k < 63)
           {
-            hyf[k] = cur_chr - 48;
-            digitsensed = true;
+            hyf[k] = cur_chr - '0';
+            digit_sensed = true;
           }
           break;
-        case 10:
-        case 2:
+        case spacer:
+        case right_brace:
           {
             if (k > 0)
             {
               if (hc[1] == 0)
                 hyf[0] = 0;
+
               if (hc[k] == 0)
                 hyf[k] = 0;
+
               l = k;
               v = min_trie_op;
+
               while (true) {
                 if (hyf[l]!= 0)
                   v = new_trie_op(k - l, hyf[l], v);
+
                 if (l > 0)
                   decr(l);
                 else
-                  goto lab31;
+                  goto done1;
               }
-lab31:
-              ;
+done1:
               q = 0;
               hc[0] = cur_lang;
+
               while (l <= k) {
                 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);
                   trie_r[trie_ptr] = p;
                   p = trie_ptr;
                   trie_l[p] = 0;
-                  if (firstchild)
+
+                  if (first_child)
                     trie_l[q]= p;
                   else
                     trie_r[q]= p;
+
                   trie_c[p] = c;
                   trie_o[p] = min_trie_op;
                 }
+
                 q = p;
               }
+
               if (trie_o[q]!= min_trie_op)
               {
                 print_err("Duplicate pattern");
                 help1("(See Appendix H.)");
                 error();
               }
+
               trie_o[q]= v;
             }
-            if (cur_cmd == 2)
-              goto lab30;
+
+            if (cur_cmd == right_brace)
+              goto done;
+
             k = 0;
             hyf[0] = 0;
-            digitsensed = false;
+            digit_sensed = false;
           }
           break;
         default:
@@ -3491,7 +3143,7 @@ lab31:
           break;
       }
     }
-lab30:;
+done:;
   }
   else
   {
@@ -3499,30 +3151,35 @@ lab30:;
     print_esc("patterns");
     help1("All patterns must be given before typesetting begins.");
     error();
-    mem[lig_trick].hh.v.RH = scan_toks(false, false);
+    link(garbage) = scan_toks(false, false);
     flush_list(def_ref);
   }
 }
+/* sec 0966 */
 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;
+
+  op_start[0] = - (integer) min_trie_op;
 
   for (j = 1; j <= 255; j++)
   {
     op_start[j] = op_start[j - 1] + trie_used[j - 1];
   }
+
   for (j = 1; j <= trie_op_ptr; j++)
   {
     trie_op_hash[j] = op_start[trie_op_lang[j]] + trie_op_val[j];
   }
+
   for (j = 1; j <= trie_op_ptr; j++)
   {
-    while (trie_op_hash[j]> j) {
+    while (trie_op_hash[j] > j)
+    {
       k = trie_op_hash[j];
       t = hyf_distance[k];
       hyf_distance[k] = hyf_distance[j];
@@ -3534,29 +3191,36 @@ void init_trie (void)
       hyf_next[k] = hyf_next[j];
       hyf_next[j]= t;
       trie_op_hash[j] = trie_op_hash[k];
-      trie_op_hash[k]= k;
+      trie_op_hash[k] = k;
     }
   }
+
   for (p = 0; p <= trie_size; p++)
   {
     trie_hash[p] = 0;
   }
+
   trie_l[0] = compress_trie(trie_l[0]);
+
   for (p = 0; p <= trie_ptr; p++)
   {
     trie_hash[p]= 0;
   }
+
   for (p = 0; p <= 255; p++)
   {
     trie_min[p] = p + 1;
   }
+
   trie_trl[0] = 1;
   trie_max = 0;
+
   if (trie_l[0] != 0)
   {
     first_fit(trie_l[0]);
     trie_pack(trie_l[0]);
   }
+
   if (trie_l[0] == 0)
   {
     for (r = 0; r <= 256; r++)
@@ -3571,46 +3235,53 @@ void init_trie (void)
   {
     trie_fix(trie_l[0]);
     r = 0;
-    do {
-      s = trie_trl[r];
+
+    do
       {
-        trie_trl[r] = 0;
-        trie_tro[r] = min_trie_op;
-        trie_trc[r] = 0;
+        s = trie_trl[r];
+        {
+          trie_trl[r] = 0;
+          trie_tro[r] = min_trie_op;
+          trie_trc[r] = 0;
+        }
+
+        r = s;
       }
-      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)   /* redundant check 94/Feb/14 */
+  if (!is_initex)
   {
-    show_line("! \\dump is performed only by INITEX\n", 1);
-    if (! knuth_flag)
-      show_line("  (Use -i on the command line)\n", 0);
-    abort_flag++;
+    puts("! \\dump is performed only by INITEX");
+
+    if (!knuth_flag)
+      puts("  (Use -i on the command line)");
+
     return;
   }
 
   if (save_ptr != 0)
   {
     print_err("You can't dump inside a group");
-    help1("`{...\\dump}' is a no-no..");
+    help1("`{...\\dump}' is a no-no.");
     succumb();
-  } /* end of if save_ptr != 0 */
+  }
 
-  selector = 21;
-  print_string(" (format=");
+  selector = new_string;
+  prints(" (format=");
   print(job_name);
   print_char(' ');
   print_int(year);
@@ -3619,55 +3290,47 @@ void store_fmt_file (void)
   print_char('.');
   print_int(day);
   print_char(')');
+
   if (interaction == 0)
-    selector = 18;
+    selector = log_only;
   else
-    selector = 19;
-  {
-#ifdef ALLOCATESTRING
-    if (pool_ptr + 1 > current_pool_size)
-      str_pool = realloc_str_pool (increment_pool_size);
-    if (pool_ptr + 1 > current_pool_size) /* in case it failed 94/Jan/24 */
-    {
-      overflow("pool size", current_pool_size - init_pool_ptr); /* 97/Mar/9 */
-      return;     // abort_flag set
-    }
-#else
-    if (pool_ptr + 1 > pool_size)
-    {
-      overflow("pool size", pool_size - init_pool_ptr); /* pool size */
-      return;     // abort_flag set
-    }
-#endif
-  }
+    selector = term_and_log;
+
+  str_room(1);
   format_ident = make_string();
-  pack_job_name(780);   /* .fmt */
-  while(! w_open_out(fmt_file)) {
-    prompt_file_name(1267, 780); /* format file name  .fmt */
+  pack_job_name(".fmt");
+
+  while (!w_open_out(fmt_file))
+  {
+    prompt_file_name("format file name", ".fmt");
   }
-  print_nl(" Beginning to dump on file ");
+
+  print_nl("Beginning to dump on file ");
   slow_print(w_make_name_string(fmt_file));
   flush_string();
   print_nl("");
   slow_print(format_ident);
-  dump_int(BEGINFMTCHECKSUM); /* magic FMT file start 4C 20 E6 15 hex */
-/*  dump_int(0); */
+
+  dump_int(BEGINFMTCHECKSUM);
   dump_int(mem_bot);
   dump_int(mem_top);
-  dump_int((hash_size + 4006)); /* eqtbsize */
-  dump_int(hash_prime); 
-/*  dump_int(607);  */
-  dump_int(hyphen_prime);   /* bkph */
+  dump_int(eqtb_size);
+  dump_int(hash_prime);
+  dump_int(hyphen_prime);
   dump_int(pool_ptr);
   dump_int(str_ptr);
+
   if (dumpthings(str_start[0], str_ptr + 1))
     return;
+
   if (dumpthings(str_pool[0], pool_ptr))
     return;
+
   print_ln();
   print_int(str_ptr);
-  print_string(" strings of total length ");
+  prints(" strings of total length ");
   print_int(pool_ptr);
+
   sort_avail();
   var_used = 0;
   dump_int(lo_mem_max);
@@ -3675,203 +3338,267 @@ void store_fmt_file (void)
   p = 0;
   q = rover;
   x = 0;
-  do {
-    if (dumpthings(mem[p], q + 2 - p))
-      return;
-    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;
-  } while (!(q == rover));
+
+  do
+    {
+      if (dumpthings(mem[p], q + 2 - p))
+        return;
+
+      x = x + q + 2 - p;
+      var_used = var_used + q - p;
+      p = q + node_size(q);
+      q = rlink(q);
+    }
+  while (!(q == rover));
+
   var_used = var_used + lo_mem_max - p;
   dyn_used = mem_end + 1 - hi_mem_min;
+
   if (dumpthings(mem[p], lo_mem_max + 1 - p))
     return;
+
   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;
+
   x = x + mem_end + 1 - hi_mem_min;
   p = avail;
-  while (p != 0) {
+
+  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);
-  k = 1;
-  do {
-    j = k;
-    while (j < (hash_size + 3162)) {
-      if ((eqtb[j].hh.v.RH == eqtb[j + 1].hh.v.RH) &&
-          (eqtb[j].hh.b0 == eqtb[j + 1].hh.b0) &&
-          (eqtb[j].hh.b1 == eqtb[j + 1].hh.b1))
-        goto lab41;
-      incr(j);
-    }
-    l = (hash_size + 3163);
-    goto lab31;
-lab41:
-    incr(j);
-    l = j;
-    while (j < (hash_size + 3162)) {
-      if ((eqtb[j].hh.v.RH != eqtb[j + 1].hh.v.RH) ||
-          (eqtb[j].hh.b0 != eqtb[j + 1].hh.b0) ||
-          (eqtb[j].hh.b1 != eqtb[j + 1].hh.b1))
-        goto lab31;
-      incr(j);
-    }
-lab31:
-    dump_int(l - k);
-    if (dumpthings(eqtb[k], l - k))
-      return;
-    k = j + 1;
-    dump_int(k - l);
-  } while (!(k == (hash_size + 3163)));
-  do {
-    j = k;
-    while (j < (hash_size + 4006)) {
-      if (eqtb[j].cint == eqtb[j + 1].cint)
-        goto lab42;
+
+  k = active_base;
+
+  do
+    {
+      j = k;
+
+      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 found1;
+
+        incr(j);
+      }
+
+      l = (int_base);
+      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 done1;
+        incr(j);
+      }
+
+done1:
+      dump_int(l - k);
+
+      if (dumpthings(eqtb[k], l - k))
+        return;
+
+      k = j + 1;
+      dump_int(k - l);
     }
-    l = (hash_size + 4007);
-    goto lab32;
-lab42:
-    incr(j);
-    l = j;
-    while (j < (hash_size + 4006)) {
-      if (eqtb[j].cint != eqtb[j + 1].cint)
-        goto lab32;
+  while (!(k == (int_base)));
+
+  do
+    {
+      j = k;
+
+      while (j < (eqtb_size))
+      {
+        if (eqtb[j].cint == eqtb[j + 1].cint)
+          goto found2;
+
+        incr(j);
+      }
+
+      l = (eqtb_size + 1);
+      goto done2;
+
+found2:
       incr(j);
+      l = j;
+
+      while (j < (eqtb_size))
+      {
+        if (eqtb[j].cint != eqtb[j + 1].cint)
+          goto done2;
+
+        incr(j);
+      }
+
+done2:
+      dump_int(l - k);
+
+      if (dumpthings(eqtb[k], l - k))
+        return;
+
+      k = j + 1;
+      dump_int(k - l);
     }
-lab32:
-    dump_int(l - k);
-    if (dumpthings(eqtb[k], l - k))
-      return;
-    k = j + 1;
-    dump_int(k - l);
-  } while (!(k > (hash_size + 4006)));
+  while (!(k > (eqtb_size)));
+
   dump_int(par_loc);
   dump_int(write_loc);
+
   dump_int(hash_used);
-/*  cs_count:=frozen_control_sequence-1-hash_used; */
-/*  cs_count = (hash_size + 513) - hash_used;  */
-  cs_count = (hash_size + hash_extra + 513) - hash_used;
-/*  cs_count = (hash_size + 780) - hash_used;  */ /* ??? */
+  cs_count = frozen_control_sequence - 1 - hash_used;
+
   if (trace_flag)
+    printf("itex cs_count %lld hash_size %d hash_extra %d hash_used %d",
+        cs_count, hash_size, hash_extra, hash_used);
+
+  for (p = hash_base; p <= hash_used; p++)
   {
-    sprintf(log_line, "itex cs_count %d hash_size %d hash_extra %d hash_used %d",
-        cs_count, hash_size, hash_extra, hash_used);      /* debugging */
-    show_line(log_line, 0);
-  }
-/*  for p <- hash_base to hash_used do */
-  for (p = 514; p <= hash_used; p++)
-  {
-    if (hash[p].v.RH != 0)
+    if (text(p) != 0)
     {
       dump_int(p);
       dump_hh(hash[p]);
       incr(cs_count);
+
       if (trace_flag)
-      {
-        sprintf(log_line, "itex cs_count++ ");
-        show_line(log_line, 0); /* debugging */
-      }
+        puts("itex cs_count++ ");
     }
   }
-/*  ??? */
-/* 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);
   print_ln();
   print_int(cs_count);
-  print_string(" multiletter control sequences");
+  prints(" multiletter control sequences");
+
   dump_int(fmem_ptr);
+
   {
     if (dumpthings(font_info[0], fmem_ptr))
       return;
-/*  frozenfontptr = font_ptr; */    /* number of fonts frozen into format */
+
     dump_int(font_ptr);
+
     if (dumpthings(font_check[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_size[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_dsize[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_params[0], font_ptr + 1))
       return;
+
     if (dumpthings(hyphen_char[0], font_ptr + 1))
       return;
+
     if (dumpthings(skew_char[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_name[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_area[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_bc[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_ec[0], font_ptr + 1))
       return;
+
     if (dumpthings(char_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(width_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(height_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(depth_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(italic_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(lig_kern_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(kern_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(exten_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(param_base[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_glue[0], font_ptr + 1))
       return;
+
     if (dumpthings(bchar_label[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_bchar[0], font_ptr + 1))
       return;
+
     if (dumpthings(font_false_bchar[0], font_ptr + 1))
       return;
+
     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);
+
       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');
+
   dump_int(hyph_count);
-/*  {register integer for_end; k = 0; for_end = 607; if (k <= for_end) do */
+
   for (k = 0; k <= hyphen_prime; k++)
   {
     if (hyph_word[k]!= 0)
@@ -3881,436 +3608,433 @@ lab32:
       dump_int(hyph_list[k]);
     }
   }
+
   print_ln();
   print_int(hyph_count);
-  print_string(" hyphenation exception");
+  prints(" hyphenation exception");
+
   if (hyph_count != 1)
     print_char('s');
+
   if (trie_not_ready)
     init_trie();
+
   dump_int(trie_max);
+
   if (dumpthings(trie_trl[0], trie_max + 1))
     return;
+
   if (dumpthings(trie_tro[0], trie_max + 1))
     return;
+
   if (dumpthings(trie_trc[0], trie_max + 1))
     return;
+
   dump_int(trie_op_ptr);
+
   if (dumpthings(hyf_distance[1], trie_op_ptr))
     return;
+
   if (dumpthings(hyf_num[1], trie_op_ptr))
     return;
+
   if (dumpthings(hyf_next[1], trie_op_ptr))
     return;
+
   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--)
   {
     if (trie_used[k] > 0)
     {
       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]);
     }
   }
+
   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);
-//  return 0;
-} /* end of store_fmt_file */
-#endif /* INITEX */
+#endif
+}
+#endif
 
 #ifdef INITEX
+/* sec 01336 */
 void init_prim (void)
 {
   no_new_control_sequence = false;
-  //primitive_s("lineskip", assign_glue, glue_base + line_skip_code);
-  primitive(373, assign_glue, glue_base + line_skip_code);          /* lineskip */
-  primitive(374, assign_glue, glue_base + baseline_skip_code);      /* baselineskip */
-  primitive(375, assign_glue, glue_base + par_skip_code);           /* parskip */
-  primitive(376, assign_glue, glue_base + above_display_skip_code); /* abovedisplayskip */
-  primitive(377, assign_glue, glue_base + below_display_skip_code); /* belowdisplayskip */
-  primitive(378, assign_glue, glue_base + above_display_short_skip_code); /* abovedisplayshortskip */
-  primitive(379, assign_glue, glue_base + below_display_short_skip_code); /* belowdisplayshortskip */
-  primitive(380, assign_glue, glue_base + left_skip_code); /* leftskip */
-  primitive(381, assign_glue, glue_base + right_skip_code); /* rightskip */
-  primitive(382, assign_glue, glue_base + top_skip_code); /* topskip */
-  primitive(383, assign_glue, glue_base + split_top_skip_code); /* splittopskip */
-  primitive(384, assign_glue, glue_base + tab_skip_code); /* tabskip */
-  primitive(385, assign_glue, glue_base + space_skip_code); /* spaceskip */
-  primitive(386, assign_glue, glue_base + xspace_skip_code); /* xspaceskip */
-  primitive(387, assign_glue, glue_base + par_fill_skip_code); /* parfillskip */
-  primitive(388, assign_mu_glue, glue_base + thin_mu_skip_code); /* thinmuskip */
-  primitive(389, assign_mu_glue, glue_base + med_mu_skip_code); /* medmuskip */
-  primitive(390, assign_mu_glue, glue_base + thick_mu_skip_code); /* thickmuskip */
-  primitive(395, assign_toks, output_routine_loc); /* output */
-  primitive(396, assign_toks, every_par_loc); /* everypar */
-  primitive(397, assign_toks, every_math_loc); /* everymath */
-  primitive(398, assign_toks, every_display_loc); /* everydisplay */
-  primitive(399, assign_toks, every_hbox_loc); /* everyhbox */
-  primitive(400, assign_toks, every_vbox_loc); /* everyvbox */
-  primitive(401, assign_toks, every_job_loc); /* everyjob */
-  primitive(402, assign_toks, every_cr_loc); /* everycr */
-  primitive(403, assign_toks, err_help_loc); /* errhelp */
-  primitive(417, assign_int, int_base + pretolerance_code); /* pretolerance */
-  primitive(418, assign_int, int_base + tolerance_code); /* tolerance */
-  primitive(419, assign_int, int_base + line_penalty_code); /* linepenalty */
-  primitive(420, assign_int, int_base + hyphen_penalty_code); /* hyphenpenalty */
-  primitive(421, assign_int, int_base + ex_hyphen_penalty_code); /* exhyphenpenalty */
-  primitive(422, assign_int, int_base + club_penalty_code); /* clubpenalty */
-  primitive(423, assign_int, int_base + widow_penalty_code); /* widowpenalty */
-  primitive(424, assign_int, int_base + display_widow_penalty_code); /* displaywidowpenalty */
-  primitive(425, assign_int, int_base + broken_penalty_code); /* brokenpenalty */
-  primitive(426, assign_int, int_base + bin_op_penalty_code); /* binoppenalty */
-  primitive(427, assign_int, int_base + rel_penalty_code); /* relpenalty */
-  primitive(428, assign_int, int_base + pre_display_penalty_code); /* predisplaypenalty */
-  primitive(429, assign_int, int_base + post_display_penalty_code); /* postdisplaypenalty */
-  primitive(430, assign_int, int_base + inter_line_penalty_code); /* interlinepenalty */
-  primitive(431, assign_int, int_base + double_hyphen_demerits_code); /* doublehyphendemerits */
-  primitive(432, assign_int, int_base + final_hyphen_demerits_code); /* finalhyphendemerits */
-  primitive(433, assign_int, int_base + adj_demerits_code); /* adjdemerits */
-  primitive(434, assign_int, int_base + mag_code); /* mag */
-  primitive(435, assign_int, int_base + delimiter_factor_code); /* delimiterfactor */
-  primitive(436, assign_int, int_base + looseness_code); /* looseness */
-  primitive(437, assign_int, int_base + time_code); /* time */
-  primitive(438, assign_int, int_base + day_code); /* day */
-  primitive(439, assign_int, int_base + month_code); /* month */
-  primitive(440, assign_int, int_base + year_code); /* year */
-  primitive(441, assign_int, int_base + show_box_breadth_code); /* showboxbreadth */
-  primitive(442, assign_int, int_base + show_box_depth_code); /* showboxdepth */
-  primitive(443, assign_int, int_base + hbadness_code); /* hbadness */
-  primitive(444, assign_int, int_base + vbadness_code); /* vbadness */
-  primitive(445, assign_int, int_base + pausing_code); /* pausing */
-  primitive(446, assign_int, int_base + tracing_online_code); /* tracingonline */
-  primitive(447, assign_int, int_base + tracing_macros_code); /* tracingmacros */
-  primitive(448, assign_int, int_base + tracing_stats_code); /* tracingstats */
-  primitive(449, assign_int, int_base + tracing_paragraphs_code); /* tracingparagraphs */
-  primitive(450, assign_int, int_base + tracing_pages_code); /* tracingpages */
-  primitive(451, assign_int, int_base + tracing_output_code); /* tracingoutput */
-  primitive(452, assign_int, int_base + tracing_lost_chars_code); /* tracinglostchars */
-  primitive(453, assign_int, int_base + tracing_commands_code); /* tracingcommands */
-  primitive(454, assign_int, int_base + tracing_restores_code); /* tracingrestores */
-  primitive(455, assign_int, int_base + uc_hyph_code); /* uchyph */
-  primitive(456, assign_int, int_base + output_penalty_code); /* outputpenalty */
-  primitive(457, assign_int, int_base + max_dead_cycles_code); /* maxdeadcycles */
-  primitive(458, assign_int, int_base + hang_after_code); /* hangafter */
-  primitive(459, assign_int, int_base + floating_penalty_code); /* floatingpenalty */
-  primitive(460, assign_int, int_base + global_defs_code); /* globaldefs */
-  primitive(461, assign_int, int_base + cur_fam_code); /* fam */
-  primitive(462, assign_int, int_base + escape_char_code); /* escapechar */
-  primitive(463, assign_int, int_base + default_hyphen_char_code); /* defaulthyphenchar */
-  primitive(464, assign_int, int_base + default_skew_char_code); /* defaultskewchar */
-  primitive(465, assign_int, int_base + end_line_char_code); /* endlinechar */
-  primitive(466, assign_int, int_base + new_line_char_code); /* newlinechar */
-  primitive(467, assign_int, int_base + language_code); /* language */
-  primitive(468, assign_int, int_base + left_hyphen_min_code); /* lefthyphenmin */
-  primitive(469, assign_int, int_base + right_hyphen_min_code); /* righthyphenmin */
-  primitive(470, assign_int, int_base + holding_inserts_code); /* holdinginserts */
-  primitive(471, assign_int, int_base + error_context_lines_code); /* errorcontextlines */
-  primitive(475, assign_dimen, dimen_base + par_indent_code); /* parindent */
-  primitive(476, assign_dimen, dimen_base + math_surround_code); /* mathsurround */
-  primitive(477, assign_dimen, dimen_base + line_skip_limit_code); /* lineskiplimit */
-  primitive(478, assign_dimen, dimen_base + hsize_code); /* hsize */
-  primitive(479, assign_dimen, dimen_base + vsize_code); /* vsize */
-  primitive(480, assign_dimen, dimen_base + max_depth_code); /* maxdepth */
-  primitive(481, assign_dimen, dimen_base + split_max_depth_code); /* splitmaxdepth */
-  primitive(482, assign_dimen, dimen_base + box_max_depth_code); /* boxmaxdepth */
-  primitive(483, assign_dimen, dimen_base + hfuzz_code); /* hfuzz */
-  primitive(484, assign_dimen, dimen_base + vfuzz_code); /* vfuzz */
-  primitive(485, assign_dimen, dimen_base + delimiter_shortfall_code); /* delimitershortfall */
-  primitive(486, assign_dimen, dimen_base + null_delimiter_space_code); /* nulldelimiterspace */
-  primitive(487, assign_dimen, dimen_base + script_space_code); /* scriptspace */
-  primitive(488, assign_dimen, dimen_base + pre_display_size_code); /* predisplaysize */
-  primitive(489, assign_dimen, dimen_base + display_width_code); /* displaywidth */
-  primitive(490, assign_dimen, dimen_base + display_indent_code); /* displayindent */
-  primitive(491, assign_dimen, dimen_base + overfull_rule_code); /* overfullrule */
-  primitive(492, assign_dimen, dimen_base + hang_indent_code); /* hangindent */
-  primitive(493, assign_dimen, dimen_base + h_offset_code); /* hoffset */
-  primitive(494, assign_dimen, dimen_base + v_offset_code); /* voffset */
-  primitive(495, assign_dimen, dimen_base + emergency_stretch_code);  /* emergencystretch */
-  primitive(32, ex_space, 0); /*   */
-  primitive(47, ital_corr, 0);  /* / */
-  primitive(505, accent, 0);  /* accent */
-  primitive(506, advance, 0); /* advance */
-  primitive(507, after_assignment, 0);  /* afterassignment */
-  primitive(508, after_group, 0); /* aftergroup */
-  primitive(509, begin_group, 0); /* begingroup */
-  primitive(510, char_num, 0);  /* char */
-  primitive(501, cs_name, 0);   /* csname */
-  primitive(511, delim_num, 0); /* delimiter */
-  primitive(512, divide, 0);  /* divide */
-  primitive(502, end_cs_name, 0); /* endcsname */
-  primitive(513, end_group, 0); /* endgroup */
-/*  hash[(hash_size + 516)].v.RH = 513; */  
-  hash[(hash_size + hash_extra + 516)].v.RH = 513;  /* endgroup */
-/*  eqtb[(hash_size + 516)]= eqtb[cur_val]; */
-  eqtb[(hash_size + hash_extra + 516)]= eqtb[cur_val]; 
-  primitive(514, expand_after, 0);    /* expandafter */
-  primitive(515, def_font, 0);  /* font */
-  primitive(516, assign_font_dimen, 0); /* fontdimen */
-  primitive(517, halign, 0);  /* halign */
-  primitive(518, hrule, 0); /* hrule */
-  primitive(519, ignore_spaces, 0); /* ignorespaces */
-  primitive(327, insert, 0); /* insert */
-  primitive(348, mark, 0); /* mark */
-  primitive(520, math_accent, 0); /* mathaccent */
-  primitive(521, math_char_num, 0); /* mathchar */
-  primitive(522, math_choice, 0); /* mathchoice */
-  primitive(523, multiply, 0);  /* multiply */
-  primitive(524, no_align, 0);  /* noalign */
-  primitive(525, no_boundary, 0); /* noboundary */
-  primitive(526, no_expand, 0);   /* noexpand */
-  primitive(332, non_script, 0); /* nonscript */
-  primitive(527, omit, 0);  /* omit */
-  primitive(405, set_shape, 0); /* parshape */
-  primitive(528, break_penalty, 0); /* penalty */
-  primitive(529, set_prev_graf, 0); /* prevgraf */
-  primitive(530, radical, 0); /* radical */
-  primitive(531, read_to_cs, 0);  /* read */
-  primitive(532, relax, 256);   /* primitive("relax",relax,256); */
-/*  hash[(hash_size + 521)].v.RH = 532; */ 
-  hash[(hash_size + hash_extra + 521)].v.RH = 532;  /* read */
-/*  eqtb[(hash_size + 521)]= eqtb[cur_val];  */
-  eqtb[(hash_size + hash_extra + 521)]= eqtb[cur_val]; 
-  primitive(533, set_box, 0); /* setbox */
-  primitive(534, the, 0);   /* the */
-  primitive(404, toks_register, 0); /* toks */
-  primitive(349, vadjust, 0); /* vadjust */
-  primitive(535, valign, 0);  /* valign */
-  primitive(536, vcenter, 0); /* vcenter */
-  primitive(537, vrule, 0); /* vrule */
-  primitive(594, par_end, 256); /* par */
+  /* 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);
+  primitive("abovedisplayskip", assign_glue, glue_base + above_display_skip_code);
+  primitive("belowdisplayskip", assign_glue, glue_base + below_display_skip_code);
+  primitive("abovedisplayshortskip", assign_glue, glue_base + above_display_short_skip_code);
+  primitive("belowdisplayshortskip", assign_glue, glue_base + below_display_short_skip_code);
+  primitive("leftskip", assign_glue, glue_base + left_skip_code);
+  primitive("rightskip", assign_glue, glue_base + right_skip_code);
+  primitive("topskip", assign_glue, glue_base + top_skip_code);
+  primitive("splittopskip", assign_glue, glue_base + split_top_skip_code);
+  primitive("tabskip", assign_glue, glue_base + tab_skip_code);
+  primitive("spaceskip", assign_glue, glue_base + space_skip_code);
+  primitive("xspaceskip", assign_glue, glue_base + xspace_skip_code);
+  primitive("parfillskip", assign_glue, glue_base + par_fill_skip_code);
+  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);
+  primitive("everydisplay", assign_toks, every_display_loc);
+  primitive("everyhbox", assign_toks, every_hbox_loc);
+  primitive("everyvbox", assign_toks, every_vbox_loc);
+  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);
+  primitive("hyphenpenalty", assign_int, int_base + hyphen_penalty_code);
+  primitive("exhyphenpenalty", assign_int, int_base + ex_hyphen_penalty_code);
+  primitive("clubpenalty", assign_int, int_base + club_penalty_code);
+  primitive("widowpenalty", assign_int, int_base + widow_penalty_code);
+  primitive("displaywidowpenalty", assign_int, int_base + display_widow_penalty_code);
+  primitive("brokenpenalty", assign_int, int_base + broken_penalty_code);
+  primitive("binoppenalty", assign_int, int_base + bin_op_penalty_code);
+  primitive("relpenalty", assign_int, int_base + rel_penalty_code);
+  primitive("predisplaypenalty", assign_int, int_base + pre_display_penalty_code);
+  primitive("postdisplaypenalty", assign_int, int_base + post_display_penalty_code);
+  primitive("interlinepenalty", assign_int, int_base + inter_line_penalty_code);
+  primitive("doublehyphendemerits", assign_int, int_base + double_hyphen_demerits_code);
+  primitive("finalhyphendemerits", assign_int, int_base + final_hyphen_demerits_code);
+  primitive("adjdemerits", assign_int, int_base + adj_demerits_code);
+  primitive("mag", assign_int, int_base + mag_code);
+  primitive("delimiterfactor", assign_int, int_base + delimiter_factor_code);
+  primitive("looseness", assign_int, int_base + looseness_code);
+  primitive("time", assign_int, int_base + time_code);
+  primitive("day", assign_int, int_base + day_code);
+  primitive("month", assign_int, int_base + month_code);
+  primitive("year", assign_int, int_base + year_code);
+  primitive("showboxbreadth", assign_int, int_base + show_box_breadth_code);
+  primitive("showboxdepth", assign_int, int_base + show_box_depth_code);
+  primitive("hbadness", assign_int, int_base + hbadness_code);
+  primitive("vbadness", assign_int, int_base + vbadness_code);
+  primitive("pausing", assign_int, int_base + pausing_code);
+  primitive("tracingonline", assign_int, int_base + tracing_online_code);
+  primitive("tracingmacros", assign_int, int_base + tracing_macros_code);
+  primitive("tracingstats", assign_int, int_base + tracing_stats_code);
+  primitive("tracingparagraphs", assign_int, int_base + tracing_paragraphs_code);
+  primitive("tracingpages", assign_int, int_base + tracing_pages_code);
+  primitive("tracingoutput", assign_int, int_base + tracing_output_code);
+  primitive("tracinglostchars", assign_int, int_base + tracing_lost_chars_code);
+  primitive("tracingcommands", assign_int, int_base + tracing_commands_code);
+  primitive("tracingrestores", assign_int, int_base + tracing_restores_code);
+  primitive("uchyph", assign_int, int_base + uc_hyph_code);
+  primitive("outputpenalty", assign_int, int_base + output_penalty_code);
+  primitive("maxdeadcycles", assign_int, int_base + max_dead_cycles_code);
+  primitive("hangafter", assign_int, int_base + hang_after_code);
+  primitive("floatingpenalty", assign_int, int_base + floating_penalty_code);
+  primitive("globaldefs", assign_int, int_base + global_defs_code);
+  primitive("fam", assign_int, int_base + cur_fam_code);
+  primitive("escapechar", assign_int, int_base + escape_char_code);
+  primitive("defaulthyphenchar", assign_int, int_base + default_hyphen_char_code);
+  primitive("defaultskewchar", assign_int, int_base + default_skew_char_code);
+  primitive("endlinechar", assign_int, int_base + end_line_char_code);
+  primitive("newlinechar", assign_int, int_base + new_line_char_code);
+  primitive("language", assign_int, int_base + language_code);
+  primitive("lefthyphenmin", assign_int, int_base + left_hyphen_min_code);
+  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);
+  primitive("hsize", assign_dimen, dimen_base + hsize_code);
+  primitive("vsize", assign_dimen, dimen_base + vsize_code);
+  primitive("maxdepth", assign_dimen, dimen_base + max_depth_code);
+  primitive("splitmaxdepth", assign_dimen, dimen_base + split_max_depth_code);
+  primitive("boxmaxdepth", assign_dimen, dimen_base + box_max_depth_code);
+  primitive("hfuzz", assign_dimen, dimen_base + hfuzz_code);
+  primitive("vfuzz", assign_dimen, dimen_base + vfuzz_code);
+  primitive("delimitershortfall", assign_dimen, dimen_base + delimiter_shortfall_code);
+  primitive("nulldelimiterspace", assign_dimen, dimen_base + null_delimiter_space_code);
+  primitive("scriptspace", assign_dimen, dimen_base + script_space_code);
+  primitive("predisplaysize", assign_dimen, dimen_base + pre_display_size_code);
+  primitive("displaywidth", assign_dimen, dimen_base + display_width_code);
+  primitive("displayindent", assign_dimen, dimen_base + display_indent_code);
+  primitive("overfullrule", assign_dimen, dimen_base + overfull_rule_code);
+  primitive("hangindent", assign_dimen, dimen_base + hang_indent_code);
+  primitive("hoffset", assign_dimen, dimen_base + h_offset_code);
+  primitive("voffset", assign_dimen, dimen_base + v_offset_code);
+  primitive("emergencystretch", assign_dimen, dimen_base + emergency_stretch_code);
+  primitive(" ", ex_space, 0);
+  primitive("/", ital_corr, 0);
+  primitive("accent", accent, 0);
+  primitive("advance", advance, 0);
+  primitive("afterassignment", after_assignment, 0);
+  primitive("aftergroup", after_group, 0);
+  primitive("begingroup", begin_group, 0);
+  primitive("char", char_num, 0);
+  primitive("csname", cs_name, 0);
+  primitive("delimiter", delim_num, 0);
+  primitive("divide", divide, 0);
+  primitive("endcsname", end_cs_name, 0);
+  primitive("endgroup", end_group, 0);
+  text(frozen_end_group) = make_string_pool("endgroup");
+  eqtb[frozen_end_group] = eqtb[cur_val]; 
+  primitive("expandafter", expand_after, 0);
+  primitive("font", def_font, 0);
+  primitive("fontdimen", assign_font_dimen, 0);
+  primitive("halign", halign, 0);
+  primitive("hrule", hrule, 0);
+  primitive("ignorespaces", ignore_spaces, 0);
+  primitive("insert", insert, 0);
+  primitive("mark", mark, 0);
+  primitive("mathaccent", math_accent, 0);
+  primitive("mathchar", math_char_num, 0);
+  primitive("mathchoice", math_choice, 0);
+  primitive("multiply", multiply, 0);
+  primitive("noalign", no_align, 0);
+  primitive("noboundary", no_boundary, 0);
+  primitive("noexpand", no_expand, 0);
+  primitive("nonscript", non_script, 0);
+  primitive("omit", omit, 0);
+  primitive("parshape", set_shape, 0);
+  primitive("penalty", break_penalty, 0);
+  primitive("prevgraf", set_prev_graf, 0);
+  primitive("radical", radical, 0);
+  primitive("read", read_to_cs, 0);
+  primitive("relax", relax, 256);
+  text(frozen_relax) = make_string_pool("relax");
+  eqtb[frozen_relax] = eqtb[cur_val];
+  primitive("setbox", set_box, 0);
+  primitive("the", the, 0);
+  primitive("toks", toks_register, 0);
+  primitive("vadjust", vadjust, 0);
+  primitive("valign", valign, 0);
+  primitive("vcenter", vcenter, 0);
+  primitive("vrule", vrule, 0);
+  primitive("par", par_end, 256);
   par_loc = cur_val; 
-  par_token = 4095 + par_loc; 
-  primitive(626, input, 0);   /* input */
-  primitive(627, input, 1);   /* endinput */
-  primitive(628, top_bot_mark, 0);    /* topmark */
-  primitive(629, top_bot_mark, 1);    /* firstmark */
-  primitive(630, top_bot_mark, 2);    /* botmark */
-  primitive(631, top_bot_mark, 3);    /* splitfirstmark */
-  primitive(632, top_bot_mark, 4);    /* splitbotmark */
-  primitive(473, tex_register, 0);  /* count */
-  primitive(497, tex_register, 1);  /* dimen */
-  primitive(392, tex_register, 2);  /* skip */
-  primitive(393, tex_register, 3);  /* muskip */
-  primitive(665, set_aux, 102); /* spacefactor */
-  primitive(666, set_aux, 1); /* prevdepth */
-  primitive(667, set_page_int, 0);  /* dead_cycles */
-  primitive(668, set_page_int, 1);  /* insert_penalties */
-  primitive(669, set_box_dimen, 1); /* wd */
-  primitive(670, set_box_dimen, 3); /* ht */
-  primitive(671, set_box_dimen, 2); /* dp */
-  primitive(672, last_item, 0); /* last_penalty */
-  primitive(673, last_item, 1); /* last_kern */
-  primitive(674, last_item, 2); /* lastskip */
-  primitive(675, last_item, 3); /* inputlineno */
-  primitive(676, last_item, 4); /* badness */
-  primitive(732, convert, 0);   /* number */
-  primitive(733, convert, 1);   /* romannumeral */
-  primitive(734, convert, 2);   /* string */
-  primitive(735, convert, 3);   /* meaning */
-  primitive(736, convert, 4);   /* font_name */
-  primitive(737, convert, 5);   /* job_name */
-  primitive(753, if_test, 0);   /* if */
-  primitive(754, if_test, 1);   /* ifcat */
-  primitive(755, if_test, 2);   /* ifnum */
-  primitive(756, if_test, 3);   /* ifdim */
-  primitive(757, if_test, 4);   /* ifodd */
-  primitive(758, if_test, 5);   /* ifvmode */
-  primitive(759, if_test, 6);   /* ifhmode */
-  primitive(760, if_test, 7);   /* ifmmode */
-  primitive(761, if_test, 8);   /* ifinner */
-  primitive(762, if_test, 9);   /* ifvoid */
-  primitive(763, if_test, 10);  /* ifhbox */
-  primitive(764, if_test, 11);  /* ifvbox */
-  primitive(765, if_test, 12);  /* ifx */
-  primitive(766, if_test, 13);  /* ifeof */
-  primitive(767, if_test, 14);  /* iftrue */
-  primitive(768, if_test, 15);  /* iffalse */
-  primitive(769, if_test, 16);  /* ifcase */
-  primitive(770, fi_or_else, 2);    /* fi */
-/*  hash[(hash_size + 518)].v.RH = 770; */ 
-  hash[(hash_size + hash_extra + 518)].v.RH = 770;    /* fi */
-/*  eqtb[(hash_size + 518)]= eqtb[cur_val];  */
-  eqtb[(hash_size + hash_extra + 518)]= eqtb[cur_val]; 
-  primitive(771, fi_or_else, 4);    /* or */
-  primitive(772, fi_or_else, 3);    /* else */
-  primitive(795, set_font, 0);    /* nullfont */
-/*  hash[(hash_size + 524)].v.RH = 795; */  /* hash[frozen_null_font] */
-  hash[(hash_size + hash_extra + 524)].v.RH = 795;  /* nullfont */
-/*  eqtb[(hash_size + 524)]= eqtb[cur_val];  */
-  eqtb[(hash_size + hash_extra + 524)]= eqtb[cur_val]; 
-  primitive(892, tab_mark, 256);    /* span */
-      /* primitive("span",tab_mark,span_code); */
-  primitive(893, car_ret, 257);   /* cr */
-      /* primitive("cr",car_ret,cr_code); */
-/*  hash[(hash_size + 515)].v.RH = 893; */  
-  hash[(hash_size + hash_extra + 515)].v.RH = 893;    /* cr */
-/*  eqtb[(hash_size + 515)]= eqtb[cur_val];  */
-  eqtb[(hash_size + hash_extra + 515)]= eqtb[cur_val]; 
-  primitive(894, car_ret, 258);     /* cr cr */
-/*  hash[(hash_size + 519)].v.RH = 895;  */
-  hash[(hash_size + hash_extra + 519)].v.RH = 895; /* endtemplate */
-/*  hash[(hash_size + 520)].v.RH = 895;  */
-  hash[(hash_size + hash_extra + 520)].v.RH = 895; /* endtemplate */
-/*  eqtb[(hash_size + 520)].hh.b0 = 9;  */
-  eqtb[(hash_size + hash_extra + 520)].hh.b0 = 9; 
-/*  eqtb[(hash_size + 520)].hh.v.RH = null_list;  */
-  eqtb[(hash_size + hash_extra + 520)].hh.v.RH = null_list; 
-/*  eqtb[(hash_size + 520)].hh.b1 = 1;  */
-  eqtb[(hash_size + hash_extra + 520)].hh.b1 = 1; 
-/*  eqtb[(hash_size + 519)]= eqtb[(hash_size + 520)];  */
-  eqtb[(hash_size + hash_extra + 519)]=
-    eqtb[(hash_size + hash_extra + 520)]; 
-/*  eqtb[(hash_size + 519)].hh.b0 = 115;  */
-  eqtb[(hash_size + hash_extra + 519)].hh.b0 = 115; 
-  primitive(964, set_page_dimen, 0);  /* pagegoal */
-  primitive(965, set_page_dimen, 1);  /* pagetotal */
-  primitive(966, set_page_dimen, 2);  /* pagestretch */
-  primitive(967, set_page_dimen, 3);  /* pagefilstretch */
-  primitive(968, set_page_dimen, 4);  /* pagefillstretch */
-  primitive(969, set_page_dimen, 5);  /* pagefilllstretch */
-  primitive(970, set_page_dimen, 6);  /* pageshrink */
-  primitive(971, set_page_dimen, 7);  /* pagedepth */
-  primitive(1019, end_match, 0);    /* end */
-  primitive(1020, stop, 1);   /* dump */
-  primitive(1021, hskip, 4);    /* hskip */
-  primitive(1022, hskip, 0);    /* hfil */
-  primitive(1023, hskip, 1);    /* hfill */
-  primitive(1024, hskip, 2);    /* hss */
-  primitive(1025, hskip, 3);    /* hfilneg */
-  primitive(1026, vskip, 4);    /* vskip */
-  primitive(1027, vskip, 0);    /* vfil */
-  primitive(1028, vskip, 1);    /* vfill */
-  primitive(1029, vskip, 2);    /* vss */
-  primitive(1030, vskip, 3);    /* vfilneg */
-  primitive(333, mskip, 5); /* mskip */
-  primitive(337, kern, 1); /* kern */
-  primitive(339, mkern, 99); /* mkern */
-  primitive(1048, hmove, 1);    /* moveleft */
-  primitive(1049, hmove, 0);    /* moveright */
-  primitive(1050, vmove, 1);    /* raise */
-  primitive(1051, vmove, 0);    /* lower */
-  primitive(406, make_box, 0);  /* box */
-  primitive(1052, make_box, 1);   /* copy */
-  primitive(1053, make_box, 2);   /* lastbox */
-  primitive(959, make_box, 3);  /* vsplit */
-  primitive(1054, make_box, 4);   /* vtop */
-  primitive(961, make_box, 5);  /* vbox */
-  primitive(1055, make_box, 106); /* hbox */
-  primitive(1056, leader_ship, 99); /* ship_out */
-  primitive(1057, leader_ship, 100);  /* leaders */
-  primitive(1058, leader_ship, 101);  /* cleaders */
-  primitive(1059, leader_ship, 102);  /* xleaders */
-  primitive(1074, start_par, 1);    /* indent */
-  primitive(1075, start_par, 0);    /* noindent */
-  primitive(1084, remove_item, 12); /* unpenalty */
-  primitive(1085, remove_item, 11); /* unkern */
-  primitive(1086, remove_item, 10); /* unskip */
-  primitive(1087, un_hbox, 0);    /* unhbox */
-  primitive(1088, un_hbox, 1);    /* unhcopy */
-  primitive(1089, un_vbox, 0);    /* unvbox */
-  primitive(1090, un_vbox, 1);    /* unvcopy */
-  primitive(45, discretionary, 1);    /* - */
-  primitive(346, discretionary, 0); /* discretionary */
-  primitive(1121, eq_no, 0);    /* eqno */
-  primitive(1122, eq_no, 1);    /* leqno */
-  primitive(860, math_comp, 16);    /* mathord */
-  primitive(861, math_comp, 17); /* mathop */
-  primitive(862, math_comp, 18); /* mathbin */
-  primitive(863, math_comp, 19); /* mathrel */
-  primitive(864, math_comp, 20); /* mathopen */
-  primitive(865, math_comp, 21); /* mathclose */
-  primitive(866, math_comp, 22); /* mathpunct */
-  primitive(867, math_comp, 23); /* mathinner */
-  primitive(869, math_comp, 26); /* underline */
-  primitive(868, math_comp, 27); /* overline */
-  primitive(1123, limit_switch, 0); /* displaylimits */
-  primitive(872, limit_switch, 1); /* limits */
-  primitive(873, limit_switch, 2); /* nolimits */
-  primitive(855, math_style, 0); /* displaystyle */
-  primitive(856, math_style, 2); /* textstyle */
-  primitive(857, math_style, 4); /* scriptstyle */
-  primitive(858, math_style, 6); /* scriptscriptstyle */
-  primitive(1141, above, 0); /* above */
-  primitive(1142, above, 1); /* over */
-  primitive(1143, above, 2); /* atop */
-  primitive(1144, above, 3); /* abovewithdelims */
-  primitive(1145, above, 4); /* overwithdelims */
-  primitive(1146, above, 5); /* atopwithdelims */
-  primitive(870, left_right, 30); /* left */
-  primitive(871, left_right, 31); /* right */
-/*  hash[(hash_size + 517)].v.RH = 871;  */
-  hash[(hash_size + hash_extra + 517)].v.RH = 871;    /* right */
-/*  eqtb[(hash_size + 517)]= eqtb[cur_val];  */
-  eqtb[(hash_size + hash_extra + 517)]= eqtb[cur_val]; 
-  primitive(1165, prefix, 1); /* long */
-  primitive(1166, prefix, 2); /* outer */
-  primitive(1167, prefix, 4); /* global */
-  primitive(1168, def, 0); /* def */
-  primitive(1169, def, 1); /* gdef */
-  primitive(1170, def, 2); /* edef */
-  primitive(1171, def, 3); /* xdef */
-  primitive(1185, let, 0); /* let */
-  primitive(1186, let, 1); /* futurelet */
-  primitive(1187, shorthand_def, 0); /* chardef */
-  primitive(1188, shorthand_def, 1); /* mathchardef */
-  primitive(1189, shorthand_def, 2); /* countdef */
-  primitive(1190, shorthand_def, 3); /* dimendef */
-  primitive(1191, shorthand_def, 4); /* skipdef */
-  primitive(1192, shorthand_def, 5); /* muskipdef */
-  primitive(1193, shorthand_def, 6); /* toksdef */
-  primitive(412, def_code, (hash_size + 1883)); /* catcode */
-  primitive(416, def_code, (hash_size + 2907)); /* mathcode */
-  primitive(413, def_code, (hash_size + 2139)); /* lccode */
-  primitive(414, def_code, (hash_size + 2395)); /* uccode */
-  primitive(415, def_code, (hash_size + 2651)); /* sfcode */
-  primitive(474, def_code, (hash_size + 3474)); /* delcode */
-  primitive(409, def_family, (hash_size + 1835)); /* textfont */
-  primitive(410, def_family, (hash_size + 1851)); /* scriptfont */
-  primitive(411, def_family, (hash_size + 1867)); /* scriptscriptfont */
-  primitive(935, hyph_data, 0); /* hyphenation */
-  primitive(947, hyph_data, 1); /* patterns */
-  primitive(1211, assign_font_int, 0); /* hyphen_char */
-  primitive(1212, assign_font_int, 1); /* skew_char */
-  primitive(272, set_interaction, 0); /* batchmode */
-  primitive(273, set_interaction, 1); /* nonstopmode */
-  primitive(274, set_interaction, 2); /* scrollmode */
-  primitive(1221, set_interaction, 3); /* errorstopmode */
-  primitive(1222, in_stream, 1); /* openin */
-  primitive(1223, in_stream, 0); /* closein */
-  primitive(1224, message, 0); /* message */
-  primitive(1225, message, 1); /* errmessage */
-  primitive(1231, case_shift, (hash_size + 2139)); /* lowercase */
-  primitive(1232, case_shift, (hash_size + 2395)); /* uppercase */
-  primitive(1233, xray, 0); /* show */
-  primitive(1234, xray, 1); /* show_box */
-  primitive(1235, xray, 2); /* showthe */
-  primitive(1236, xray, 3); /* showlists */
-  primitive(1279, extension, 0); /* openout */
-  primitive(591, extension, 1); /* write */
-  write_loc = cur_val; 
-  primitive(1280, extension, 2);    /* closeout */
-  primitive(1281, extension, 3);    /* special */
-  primitive(1282, extension, 4);    /* immediate */
-  primitive(1283, extension, 5);    /* setlanguage */
+  par_token = cs_token_flag + par_loc;
+  primitive("input", input, 0);
+  primitive("endinput", input, 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, 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, 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, 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, cr_cr_code);
+  text(frozen_end_template) = make_string_pool("endtemplate");
+  text(frozen_endv) = make_string_pool("endtemplate");
+  eq_type(frozen_endv) = endv;
+  equiv(frozen_endv) = null_list; 
+  eq_level(frozen_endv) = level_one; 
+  eqtb[frozen_end_template] = eqtb[frozen_endv]; 
+  eq_type(frozen_end_template) = end_template;
+  primitive("pagegoal", set_page_dimen, 0);
+  primitive("pagetotal", set_page_dimen, 1);
+  primitive("pagestretch", set_page_dimen, 2);
+  primitive("pagefilstretch", set_page_dimen, 3);
+  primitive("pagefillstretch", set_page_dimen, 4);
+  primitive("pagefilllstretch", set_page_dimen, 5);
+  primitive("pageshrink", set_page_dimen, 6);
+  primitive("pagedepth", set_page_dimen, 7);
+  primitive("end", end_match, 0);
+  primitive("dump", stop, 1);
+  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, 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, 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, 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);
+  primitive("outer", prefix, 2);
+  primitive("global", prefix, 4);
+  primitive("def", def, 0);
+  primitive("gdef", def, 1);
+  primitive("edef", def, 2);
+  primitive("xdef", def, 3);
+  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, 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, 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, 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, close_node);
+  primitive("special", extension, special_node);
+  primitive("immediate", extension, immediate_code);
+  primitive("setlanguage", extension, set_language_code);
   no_new_control_sequence = true; 
-} 
-#endif /* INITEX */
-
-#pragma optimize("s", off)            /* 96/Sep/12 */
-/* #pragma optimize("1", off) */
-#pragma optimize("t", on)           /* 96/Sep/12 */
-/* #pragma optimize("2", on) */
+}
+#endif