system_time.cpp revision b3e749b0
1