Succ               94 src/log.cc         if (Succ(head_) == tail_) {
Succ               98 src/log.cc           head_ = Succ(head_);
Succ              108 src/log.cc         tail_ = Succ(tail_);