Symbol: ras_seqno_type