Symbol: ras_core_put_seqno