visualizer: 'type Time = u64'