Symbol: DEFINE_MIN_SEQ