[RANDOM]: Introduce secure_dccp_sequence_number