plm1              308 modules/games/gui_reversi.c     char *plm1, *plm2;
plm1              312 modules/games/gui_reversi.c             plm1 = "\x10";
plm1              316 modules/games/gui_reversi.c             plm1 = " ";
plm1              321 modules/games/gui_reversi.c         plm1 = plm2 = " ";
plm1              332 modules/games/gui_reversi.c     draw_string(x, y+FONT_HEIGHT*2, plm1, MAKE_COLOR(COLOR_BLUE, COLOR_WHITE));