;
*(p + 1) = '\0';
printf("# %s\n", font_name);
delete font_name;
delete [] font_name;
}
static void