socsvn - Revision 337283: /soc2017/kneitinger/libbe-head/share/doc/papers/newvm