Value next() { if (parms_.endf(i_)) return parms_.end_state(); Value temp = parms_.deref(i_); ++i_; return temp; }
bool at_end() const { return parms_.endf(i_); }