Method push_marked

ppcc/src/parser.cc:188–190

    output->add(tokens);
  }
  void push_marked() {
    push_marked_until(pos);
  }
  State save() {
    State result;
    result.pos = pos;