I am assuming that DO-178B certification for the Rust variant is not on the table. https://www.sqlite.org/hirely.html https://www.sqlite.org/hirely.html https

I am assuming that DO-178B certification for the Rust variant is not on the table. https://www.sqlite.org/hirely.html https://www.sqlite.org/hirely.html https://www.sqlite.org/qmplan.html https://www.sqlite.org/qmplan.html https://www.sqlite.org/th3.html https://www.sqlite.org/th3.html The name "Limbo" is also used by a post-C/UNIX language from AT&T for the Inferno operating system. https://en.wikipedia.org/wiki/Limbo_(programming_language) https://en.wikipedia.org/wiki/Limbo_(programming_language)