get_wall_time 471 tools/rd-curves.cc wall_time= get_wall_time(); get_wall_time 476 tools/rd-curves.cc wall_time= get_wall_time()- wall_time;