sup_pushtoken
void sup_pushtoken(char *token_buf, int token_type);
sup_pushtoken(token_buf, token_type);