A flight-compliant WebAssembly interpreter for safety-critical execution - View it on GitHub