mod: SpecRunner