def read_sequence_no(self): return serial(self.read_uint32())
def __init__(self, session): self.session = session self.next_id = serial(0) self.commands = [] self._completed = RangedSet()