Making rust programs safe for intermittent execution

Coming soon.