public I64 VideoRep(Bool full=TRUE)
{//List available VBE modes as indicated by the BIOS. Show current mode;
    I64 i, mode_count = 0;
    CVBEModeShort *mode;

    if (full)
    {
        "\nVBE Version %X.%X\n\n", sys_vbe_info.version.u8[1], sys_vbe_info.version.u8[0];
        if (!IsRaw)
        {
            "$PURPLE$Manufacturer      $FG$: $BLACK$%s$FG$\n", sys_vbe_info.oem;
            "$PURPLE$Vendor name       $FG$: $BLACK$%s$FG$\n", sys_vbe_info.vendor;
            "$PURPLE$Product name      $FG$: $BLACK$%s$FG$\n", sys_vbe_info.product_name;
            "$PURPLE$Product revision  $FG$: $BLACK$%s$FG$\n", sys_vbe_info.product_revision;
            "$PURPLE$Software revision $FG$: $BLACK$%X.%X$FG$\n", sys_vbe_info.software_revision.u8[1],  sys_vbe_info.software_revision.u8[0];
            "$PURPLE$Hardware memory   $FG$: $BLACK$%d MiB$FG$\n", sys_vbe_info.total_memory * 64 / 1024;
        }
        else
        {
            "Manufacturer      : %s\n", sys_vbe_info.oem;
            "Vendor name       : %s\n", sys_vbe_info.vendor;
            "Product name      : %s\n", sys_vbe_info.product_name;
            "Product revision  : %s\n", sys_vbe_info.product_revision;
            "Software revision : %X.%X\n", sys_vbe_info.software_revision.u8[1],  sys_vbe_info.software_revision.u8[0];
            "Hardware memory   : %d MiB\n", sys_vbe_info.total_memory * 64 / 1024;
        }
        "\n\nAll modes shown are 32-bit color.\n\n";
    }

    if (!IsRaw)
        "$CYAN$ #    W  x   H\t\t Mode$FG$\n\n";
    else
        " #\t\t  W  x   H\t\t Mode\n\n";

    for (i = 0; i < VBE_MODES_NUM; i++)
    {
        mode = &sys_vbe_modes[i];
        if (mode->height)
        {
            if (!IsRaw)
                "$PURPLE$ $BT+X,\"%d\",LM=\"%d\\n\"$$FG$$LM,4$", i+1, i+1;
            else
                " [%d]\t", i+1;

            if (sys_vbe_mode_num == mode->mode_num)
            {
                if (!IsRaw)
                    "$RED$%4d x %4d     0x%X (Current mode)$FG$$LM,0$", mode->width, mode->height, mode->mode_num;
                else
                    "%4d x %4d  0x%X (Current mode)", mode->width, mode->height, mode->mode_num;
            }
            else
            {
                if (!IsRaw)
                    "$BLACK$%4d x %4d   $FG$0x%X$LM,0$", mode->width, mode->height, mode->mode_num;
                else
                    "%4d x %4d  0x%X", mode->width, mode->height, mode->mode_num;
            }

            "\n\n\n";
            mode_count++;
        }
    }
    return mode_count;
}