I think this can be a goal for this VM, to make it a Turing complete VM (programmign language / instruction set ?) Some reference: * https://en.wikipedia.org/wiki/%CE%9C-recursive_function * https://math.stackexchange.com/questions/112011/how-to-prove-a-programming-language-is-turing-complete