(module Core_queue)