// @@@ Note that this means that detaching a session should free
// all keys ascociated with it or else...
// -- or else what?
// @@@ Note that this means that detaching a session should free
// all keys ascociated with it or else...
// -- or else what?