Module step_by_spec