let time_out_CPU (flags: flags) = get_flag_float flags.flags FL_TimeOutCPU