void SequenceTester::TestLastSequence() {
  Sequence last = Sequence::Last();
  CPPUNIT_ASSERT(last.GetOrdinal() ==
    std::numeric_limits<std::uint64_t>::max());
}
void SequenceTester::TestDefaultConstructor() {
  Sequence sequence;
  CPPUNIT_ASSERT(sequence.GetOrdinal() == 0);
}
void SequenceTester::TestFirstSequence() {
  Sequence first = Sequence::First();
  CPPUNIT_ASSERT(first.GetOrdinal() == 0);
}