Symbol: decode_tail