Symbol: DO_TAIL_DEQ