svn - Revision 6125: /trunk/pdp8/src/dec/digital-8-12-s