svn - Revision 6136: /trunk/pdp8/heeltoe/pdp8-snap/snap-2010-04-13/verif