Symbol: desc_last_finalized_seq