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];
        "$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;
        "\n\nAll modes shown are 32-bit color.\n\n";
    }
    "$CYAN$ #    W  x   H\t\t Mode$FG$\n\n";
    for (i = 0; i < VBE_MODES_NUM; i++)
    {
        mode = &sys_vbe_modes[i];
        if (mode->height)
        {
         "$PURPLE$ $BT+X,\"%d\",LM=\"%d\\n\"$$FG$$LM,4$", i+1, i+1;
            if (sys_vbe_mode_num == mode->mode_num)
                "$RED$%4d x %4d     0x%X (Current mode)$FG$$LM,0$", mode->width, mode->height, mode->mode_num;
            else
                "$BLACK$%4d x %4d   $FG$0x%X$LM,0$", mode->width, mode->height, mode->mode_num;
            "\n\n\n";
            mode_count++;
        }
    }
    return mode_count;
}