PRINT_TYPE_FMT_NAME
const char PRINT_TYPE_FMT_NAME(tname)[] = fmt;
const char PRINT_TYPE_FMT_NAME(symbol)[] = "%pS";
const char PRINT_TYPE_FMT_NAME(string)[] = "\\\"%s\\\"";
extern const char PRINT_TYPE_FMT_NAME(type)[]
.fmt = PRINT_TYPE_FMT_NAME(ptype), \