`time` no longer used.