Add some simple time-debugging