Session state.
This module defines the types to remember that state of a session with a
particular RTR server. The complete state, encapsulated in the type
State consists of a sixteen bit session id and a serial number. Since
the serial number follows special rules, it has its own type Serial.
