Symbol: next_sqnum