@x @!margin_char:array[internal_font_number] of integer; @y @!margin_char:^integer; @z @x margin_char[null_font]:=-1; @y @z @x dump_things(skew_char[null_font], font_ptr+1-null_font); @y dump_things(skew_char[null_font], font_ptr+1-null_font); dump_things(margin_char[null_font], font_ptr+1-null_font); @z @x xmalloc_array(skew_char, font_max); @y xmalloc_array(skew_char, font_max); xmalloc_array(margin_char, font_max); @z @x undump_things(skew_char[null_font], font_ptr+1-null_font); @y undump_things(skew_char[null_font], font_ptr+1-null_font); undump_things(margin_char[null_font], font_ptr+1-null_font); @z @x xmalloc_array(skew_char, font_max); @y xmalloc_array(skew_char, font_max); xmalloc_array(margin_char, font_max); @z @x hyphen_char[null_font]:="-"; skew_char[null_font]:=-1; @y hyphen_char[null_font]:="-"; skew_char[null_font]:=-1; margin_char[null_font]:=-1; @z