Symbol: ras_core_gen_seqno