RIGHTBRACE
*tok = RIGHTBRACE;
if ((*tok == RIGHTBRACE) || (action == A_REPLACE_OP) ||
(void) fprintf(stderr, "%c\n", RIGHTBRACE);