Symbol: SEQ_QEMPTY