1 int DrawString(int x, int y, char *str, int font);
2 int GetStringWidth(char *str);
3 int DrawNumber(int x, int y, int n, int font);
4 int DrawChar(int x, int y, char c, int font);
5 
6 /* This is called automatically if necessary */
7 void init_font(int i);
8