FAL_VGA
{ FAL_VGA | RES_FAL_STHIGH, /* sthigh, 640x400, 2 colors */
{ FAL_VGA | RES_FAL_STMID, /* stmid, 640x200, 4 colors */
{ FAL_VGA | RES_FAL_STLOW, /* stlow, 320x200, 16 colors */
{ FAL_VGA | RES_FAL_TTLOW, /* ttlow, 320x480, 256 colors */
{ FAL_VGA | RES_VGA2, /* vga, 640x480, 2 colors */
{ FAL_VGA | RES_VGA4, /* vga, 640x480, 4 colors */
{ FAL_VGA | RES_VGA16, /* vga, 640x480, 16 colors */
{ FAL_VGA | RES_VGA256, /* vga, 640x480, 256 colors */
{ FAL_VGA | RES_DIRECT, /* direct video, 320x200, 65536 colors */
if (mon_type != FAL_VGA)