plm1              309 modules/games/gui_reversi.c     char *plm1, *plm2;
plm1              313 modules/games/gui_reversi.c             plm1 = "\x10";
plm1              317 modules/games/gui_reversi.c             plm1 = " ";
plm1              322 modules/games/gui_reversi.c         plm1 = plm2 = " ";
plm1              333 modules/games/gui_reversi.c     draw_string(x, y+FONT_HEIGHT*2, plm1, MAKE_COLOR(COLOR_BLUE, COLOR_WHITE));