double get_wall_time();
double get_cpu_time();