static void do_screen_dump(int argc, const char **argv)

{

    if (argc != 2) {

        help_cmd(argv[0]);

        return;

    }

    vga_screen_dump(argv[1]);

}

static void do_screen_dump(int argc, const char **argv)

{

    if (argc != 2) {

        help_cmd(argv[0]);

        return;

    }

    vga_screen_dump(argv[1]);

}

static void FUNC_0(int VAR_0, const char **VAR_1)

{

    if (VAR_0 != 2) {

        help_cmd(VAR_1[0]);

        return;

    }

    vga_screen_dump(VAR_1[1]);

}

static void FUNC_0(int VAR_0, const char **VAR_1)
{ if (VAR_0 != 2) { help_cmd(VAR_1[0]); return; } vga_screen_dump(VAR_1[1]); }