(module Update_queue)