Symbol: TAILQ_EMPTY