continuation style semantics; examples with failures added