Symbol: DEFINE_MAX_SEQ