File: lab_mc_test_original.e<'import lab_mc_env;extend lab_mc_driver_u {    keep soft mc_delay == 1;    keep soft reset_delay == select {        1: [20..399];        9: [400..511];    };        keep mc_target_speed >= mc_min_speed;    keep soft speed_temp == ((gen_counter == 0) ? 5000 : 1);       };'>