"Somewhat hidden in there is the ability to read an aribitrary program, transmute it to another program." There'd probably be cases where it'd fall short of th

"Somewhat hidden in there is the ability to read an aribitrary program, transmute it to another program." There'd probably be cases where it'd fall short of that capability, but ultimately, if the desire is to make sure you can run an arbitrary current program on an arbitrary future computer, you probably have to get pretty close to that.