Revert "Revert "stripmining""

This reverts commit 38f8b472b32f92baf6f7d8dbc129be2f26a74ac5.