I don't think any of those steps significantly disrupt type checking or memory safety. It's hacky as all hell but it's still constrained by the JVM and bytecode

I don't think any of those steps significantly disrupt type checking or memory safety. It's hacky as all hell but it's still constrained by the JVM and bytecode validity.