fix Issue 12067 - std.datetime.measureTime() has incomplete example, and does not work