I'll throw in one more thing just because I know a certain Mr. P. Cawley dearly loves people to pile unrelated things into a single thread: could there be a way to expose which continuation to invoke when returning from a routine? In a regex, I'd really like a rule to be invoked with a "success" continuation and a "fail, so backtrack" continuation. And possibly with some more extreme failure continuations for cuts and commits and things. But right now the return continuation in P1 is hidden inside the PCC mechanism. (I guess I could just manually overwrite P1, but that seems like it's working against imcc rather than with it.)
Technically its not a problem and relatively easy to implement. I suppose it needs to be discussed as an addition to the calling convention first, though. I'm up for it.
-Melvin
