Added sequence-number source files.
Added tests for the sequence number functionality.