All~ I must admit I am a little confused as to what the problem is. Given that any continuation which was originally created as a return continuation will restore its registers, all code which uses P/S registers will work as expected. Furthermore, I/N registers will be usable accross function calls, it is just that continuations will cause the same to computate as before to be repeated (which is really not that much of a spanner in the works).
Please don't draw the same diagrams and claim that registers life is secretly extended. That is not the case, as the invocation of the (once) return continuation will restore the register allocation to the correct state that code after it is expecting. Matt -- "Computer Science is merely the post-Turing Decline of Formal Systems Theory." -???
