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, "TermWidth") ||	!strcmp(name, "TermHeight")) {	struct winsize size;	if (ioctl(0, TIOCGWINSZ, (void *)&size) >= 0)	    return (!strcmp(name, "TermWidth") ? size.ws_col : size.ws_row);    }    return def;}