@lyse It's actually not nearly as half bad as I really thought it would be. Just having to eventually deal with the "lowering down" to machine code / ARM64 assembly in the end once you've verified the semantics in the VM.