Which is exactly what a high-assurance security project did from Java to Forth. For Open Firmware and commercially available, too.

https://www.slideserve.com/brasen/efficient-code-certificati...