-void drawStrRed(PainterInfo & pi, int x, int y, std::string const & s);
-void drawStrBlack(PainterInfo & pi, int x, int y, std::string const & s);
+void drawStrRed(PainterInfo & pi, int x, int y, docstring const & s);
+void drawStrBlack(PainterInfo & pi, int x, int y, docstring const & s);