This package implements frysk's stepping infrastructure.