Symbol: TAILQ_INSERT_HEAD