end_timer         558 tools/rd-curves.cc   rd.end_timer();
end_timer         635 tools/rd-curves.cc   rd.end_timer();
end_timer         707 tools/rd-curves.cc   rd.end_timer();
end_timer         769 tools/rd-curves.cc   rd.end_timer();
end_timer         855 tools/rd-curves.cc   rd.end_timer();
end_timer         933 tools/rd-curves.cc   rd.end_timer();