There's a paper from Indiana U. entitled "Constraining Control", by Wand and Friedman (I think), which shows how unwind-protect and similar facilities may be coded using 'first-class' continuations. If there's interest, I can go away and look it up in greater detail. --Phil