We now present an operational semantics of the most radical of our new constructs: the attachment of contexts to calls. The semantics is intended as a guide to implementors, and its key value is in highlighting a subtlety which easily could be overlooked in an implementation.