rem: printf("MUERTE \n");
context: destroy(GtkWidget *widget, gpointer data){    int i;    for (i = 0; i < MAX_FILES; i++) {	if (screen.file[i] != NULL && 	    screen.file[i]->image != NULL) {	    free_gerb_image(screen.file[i]->image);	    free(screen.file[i]->color);	    free(screen.file[i]->name);	    free(screen.file[i]);	}    }    /* Free all colors allocated */    free(screen.background);    free(screen.zoom_outline_color);    free(screen.dist_measure_color);    printf("MUERTE \n");    gtk_main_quit();} /* destroy */