(module Flat_queue)