(module Dequeue)