% % This is web2c-specific. % @x @!font_variants:array[internal_font_number] of min_halfword..max_halfword; @y @!font_variants:^pointer; @z % % web2c moves the initialization to somewhere else. % @x font_variants[null_font]:=null; @y @z % % We must dump the font_variants table as well. % @x dump_things(font_glue[null_font], font_ptr+1-null_font); @y dump_things(font_glue[null_font], font_ptr+1-null_font); dump_things(font_variants[null_font], font_ptr+1-null_font); @z % % This is web2c-specific. % @x xmalloc_array(param_base, font_max); @y xmalloc_array(param_base, font_max); xmalloc_array(font_variants, font_max); @z % % We must undump the font_variants table as well. % @x undump_checked_things(min_halfword, lo_mem_max, font_glue[null_font], font_ptr+1-null_font); @y undump_checked_things(min_halfword, lo_mem_max, font_glue[null_font], font_ptr+1-null_font); undump_things(font_variants[null_font], font_ptr+1-null_font); @z % % This is web2c-specific. % @x xmalloc_array(param_base, font_max); @y xmalloc_array(param_base, font_max); xmalloc_array(font_variants, font_max); @z % % web2c moves the initialization to somewhere else. % @x param_base[null_font]:=-1; @y param_base[null_font]:=-1; font_variants[null_font]:=null; @z