svn - Revision 5776: /trunk/pdp8/src/dec/digital-8-12-f