let time_out_WC (flags: flags) = get_flag_float flags.flags FL_TimeOutWC