gfxline_t* gfxtool_dash_line(gfxline_t*line, float*dashes, float phase);
void gfxline_dump(gfxline_t*l, FILE*fi, char*prefix);
gfxline_t* gfxtool_dash_line(gfxline_t*line, float*dashes, float phase);
void gfxline_dump(gfxline_t*l, FILE*fi, char*prefix);