+void metricsStrRedBlack(MetricsInfo & mi, Dimension & dim, docstring const & s);
+
+void drawStrRed(PainterInfo & pi, int x, int y, docstring const & s);
+void drawStrBlack(PainterInfo & pi, int x, int y, docstring const & s);
+
+void math_font_max_dim(FontInfo const &, int & asc, int & desc);
+
+void augmentFont(FontInfo & f, std::string const & cmd);