BUF_PUSH_2
BUF_PUSH_2 (syntaxspec, syntax_spec_code[c]);
BUF_PUSH_2 (notsyntaxspec, syntax_spec_code[c]);
BUF_PUSH_2 (duplicate, c1);
BUF_PUSH_2 (exactn, 0);