Replaced Buffer with three references in DequeKOT.