start_timer       556 tools/rd-curves.cc   rd.start_timer();
start_timer       633 tools/rd-curves.cc   rd.start_timer();
start_timer       705 tools/rd-curves.cc   rd.start_timer();
start_timer       767 tools/rd-curves.cc   rd.start_timer();
start_timer       853 tools/rd-curves.cc   rd.start_timer();
start_timer       931 tools/rd-curves.cc   rd.start_timer();