Some work towards a configuration that supports never failing unless program termination is inevitable. (In particular, making soft RTEs soft.)