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, "FontCharSet"))	return ANSI_CHARSET;    return def;}