<A HREF="http://devius.cs.uiuc.edu/choices/"
  >Choices</A>, an _(OO) *(OS) in _(C++) (yuck).