real_time_clock.cpp revision 208c3236
1