(module Hash_queue)