git-svn-id: https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk@6139 ac4fbcad-d21d-0410-b760-c7b1d3380187