Is it possible that this bug is actually present in honest-to-goodness TeX? The end_name procedure does not seem to have been changed by pdfTeX, and:

[robin pdftex]$ tex % This is TeX, Version 3.141592 (Web2C 7.5.6)

* Segmentation fault

The following patch for tex.ch will cure the problem. I've also included the corresponding changes for Aleph and Omega. Furthermore, some constants for Aleph and Omega are sync'ed with tex.ch (Changes are for the head of the latest TeXLive repository.) Best regards, Akira diff -ur web2c-orig/alephdir/com16bit-rc2.ch web2c/alephdir/com16bit-rc2.ch --- web2c-orig/alephdir/com16bit-rc2.ch Thu Jul 12 06:14:00 2007 +++ web2c/alephdir/com16bit-rc2.ch Sat Jul 14 09:06:56 2007 @@ -200,28 +200,28 @@ @!sup_strings_free = sup_max_strings; @!inf_buf_size = 500; -@!sup_buf_size = 200000; +@!sup_buf_size = 30000000; @!inf_nest_size = 40; -@!sup_nest_size = 400; +@!sup_nest_size = 4000; @!inf_max_in_open = 6; @!sup_max_in_open = 127; @!inf_param_size = 60; -@!sup_param_size = 600; +@!sup_param_size = 6000; @!inf_save_size = 600; @!sup_save_size = 80000; @!inf_stack_size = 200; -@!sup_stack_size = 3000; +@!sup_stack_size = 30000; @!inf_dvi_buf_size = 800; @!sup_dvi_buf_size = 65536; @!inf_pool_size = 32000; -@!sup_pool_size = 10000000; +@!sup_pool_size = 40000000; @!inf_pool_free = 1000; @!sup_pool_free = sup_pool_size; @!inf_string_vacancies = 8000; @@ -1079,7 +1079,7 @@ s:=str_start(str_ptr); t:=str_start(str_ptr)+area_delimiter; j:=s; - while (not must_quote) and (j<>t) do begin + while (not must_quote) and (jt) do begin +while (not must_quote) and (jt) do begin + while (not must_quote) and (j0 then begin j:=str_start(a); - while (not must_quote) and (j<>str_start(a+1)) do begin + while (not must_quote) and (j0 then begin j:=str_start(n); - while (not must_quote) and (j<>str_start(n+1)) do begin + while (not must_quote) and (j0 then begin j:=str_start(e); - while (not must_quote) and (j<>str_start(e+1)) do begin + while (not must_quote) and (jt) do begin + while (not must_quote) and (jt) do begin +while (not must_quote) and (jt) do begin + while (not must_quote) and (j0 then begin j:=str_start(a); - while (not must_quote) and (j<>str_start(a+1)) do begin + while (not must_quote) and (j0 then begin j:=str_start(n); - while (not must_quote) and (j<>str_start(n+1)) do begin + while (not must_quote) and (j0 then begin j:=str_start(e); - while (not must_quote) and (j<>str_start(e+1)) do begin + while (not must_quote) and (jt) do begin + while (not must_quote) and (jt) do begin +while (not must_quote) and (jt) do begin + while (not must_quote) and (j0 then begin j:=str_start[a]; - while (not must_quote) and (j<>str_start[a+1]) do begin + while (not must_quote) and (j0 then begin j:=str_start[n]; - while (not must_quote) and (j<>str_start[n+1]) do begin + while (not must_quote) and (j0 then begin j:=str_start[e]; - while (not must_quote) and (j<>str_start[e+1]) do begin + while (not must_quote) and (j