DEFAULT_TYPE_NAME
name = strdup(DEFAULT_TYPE_NAME);
if (strcmp(names[i], DEFAULT_TYPE_NAME) == 0)
const char *typename = DEFAULT_TYPE_NAME;