int platform_default_i(char *name, int def)
int platform_default_i(const char *name, int def)
int platform_default_i(char *name, int def){    if (!strcmp(name, "CloseOnExit"))	return COE_ALWAYS;	       /* COE_NORMAL works badly in an xterm */    return def;}