desc_last_finalized_seq
u64 old_seq = desc_last_finalized_seq(rb);
last_finalized_seq = desc_last_finalized_seq(rb);
seq = desc_last_finalized_seq(rb);