real_time_clock.cpp revision 0e88a887
1