Virtual steptest stepc file generalized