char *ptoken_names[] = {
"TOKEN_NONE",
"PTOK_ENDS",
"PTOK_IDENTIFIER",
"PTOK_STAR",
"PTOK_KW_VOID",
"PTOK_KW_FLOAT",
"PTOK_KW_DOUBLE",
"PTOK_KW_LONG",
"PTOK_KW_UNSIGNED",
"PTOK_KW_SIGNED",
"PTOK_KW_INT",
"PTOK_KW_SHORT",
"PTOK_KW_CHAR",
"PTOK_OPAREN",
"PTOK_CPAREN",
"PTOK_OBRACE",
"PTOK_CBRACE",
"" };
