svn - Revision 6000: /trunk/pdp8/src/dec/dec-12-sey