char *userdata_subdir, char *userdata_subdir_unix,
char *program_title, char *window_title, char *icon_title,
char *x11_icon_filename, char *x11_iconmask_filename,
char *userdata_subdir, char *userdata_subdir_unix,
char *program_title, char *window_title, char *icon_title,
char *x11_icon_filename, char *x11_iconmask_filename,