sequence_number type