Symbol: NEG_SHORTSEQ