Proves
SqueakSource3 project page
Proves-David.1.mcz