ccx_dtvcc_pen_color ccx_dtvcc_default_pen_color;

extern ccx_dtvcc_pen_color ccx_dtvcc_default_pen_color;

ccx_dtvcc_pen_attribs ccx_dtvcc_default_pen_attribs;

extern ccx_dtvcc_pen_attribs ccx_dtvcc_default_pen_attribs;