`time` is unused.