Symbol: ORIG_RSEQ_SIZE