“…One can speculate that existence of a comprehensive framework, like our micro-kernel, could have made implementations easier to develop and more readily available. The same can be said for a variety of other optimizations, such as incremental state saving [9,10] and reverse computation [11].…”