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)-1);

	password[sizeof(password)-1] = '\0';

	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)-1);

	password[sizeof(password)-1] = '\0';

	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);

    }

}

	monitor_readline("Password: ", 1, password, sizeof(password)-1); 	password[sizeof(password)-1] = '\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)-1);

	VAR_1[sizeof(VAR_1)-1] = '\0';

	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)-1); VAR_1[sizeof(VAR_1)-1] = '\0'; 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); } }