Yes, please `assert (write_queue_size == 0)`.