socsvn - Revision 337283: /soc2017/kneitinger/libbe-head/share/examples/witness