StackThreads は, スレッドがブロックせずに終了したときには, 普通の C のリターンシーケンスによって スレッドが値を返すことを許している. しかし, ひとたびスレッドがブロックすると, スレッドが この方法で値を返すことは意味がない. なぜなら, もともとの caller は現在のフレームのすぐ下には存在しないかも しれないからである. これは, future のようなプリミティブを実装したり, 逐次呼びだしを 実装したりするときさえも不便である. ここで, 我々は, すでに公開されている以前の二つの方式を例に使い, StackThreads でそのような abstraction がどのように表現されて いるかを概観する.