I just wanted to quickly mention that the Carnegie Mellon paper that we keep referring to is not an *implementation* of SS. It's a summary of a couple of parts of the IMS SS spec, what the arguments to the processes are and what they return, etc. It is not complete. (If it is an implementation, then where is the code?)
