ProtEnc – Typestate Library in C++

Not the author's fault of course, but the amount of macros needed shows several significant limitations of C++ templates.