Comment by wizzwizz4

I'm not sure how to contact the author, but just a nitpick:

    fn inner_main() -> Result<(), ()>

should be:

    fn inner_main() -> Result<!, ()>

since it shouldn't return except in the case of an error. It's important to make the compiler aware of such semantics, so that it can better optimise the program.