static void do_change_vnc(const char *target)

{

    if (strcmp(target, "passwd") == 0 ||

	strcmp(target, "password") == 0) {

	char password[9];

	monitor_readline("Password: ", 1, password, sizeof(password));

	if (vnc_display_password(NULL, password) < 0)

	    term_printf("could not set VNC server password\n");

    } else {

	if (vnc_display_open(NULL, target) < 0)

	    term_printf("could not start VNC server on %s\n", target);

    }

}

static void do_change_vnc(const char *target)

{

    if (strcmp(target, "passwd") == 0 ||

	strcmp(target, "password") == 0) {

	char password[9];

	monitor_readline("Password: ", 1, password, sizeof(password));

	if (vnc_display_password(NULL, password) < 0)

	    term_printf("could not set VNC server password\n");

    } else {

	if (vnc_display_open(NULL, target) < 0)

	    term_printf("could not start VNC server on %s\n", target);

    }

}

static void FUNC_0(const char *VAR_0)

{

    if (strcmp(VAR_0, "passwd") == 0 ||

	strcmp(VAR_0, "VAR_1") == 0) {

	char VAR_1[9];

	monitor_readline("Password: ", 1, VAR_1, sizeof(VAR_1));

	if (vnc_display_password(NULL, VAR_1) < 0)

	    term_printf("could not set VNC server VAR_1\n");

    } else {

	if (vnc_display_open(NULL, VAR_0) < 0)

	    term_printf("could not start VNC server on %s\n", VAR_0);

    }

}

static void FUNC_0(const char *VAR_0)
{ if (strcmp(VAR_0, "passwd") == 0 ||
strcmp(VAR_0, "VAR_1") == 0) { char VAR_1[9]; monitor_readline("Password: ", 1, VAR_1, sizeof(VAR_1)); if (vnc_display_password(NULL, VAR_1) < 0)
term_printf("could not set VNC server VAR_1\n"); } else { if (vnc_display_open(NULL, VAR_0) < 0)
term_printf("could not start VNC server on %s\n", VAR_0); } }