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 mc_delay in [499..505] => reset_delay == 20;};'>