My find is not only provably Turing complete, but not even a Turing tarpit and compiles to native code.