extern int popup_menu(char *names[], int y, int x);
.