Symbol: ATH6KL_MAX_SEQ_NO