(module Linked_queue)