mopMVC           6196 src/dps8/dps8_eis.c         return mopMVC ();   // XXX I think!
mopMVC           6422 src/dps8/dps8_eis.c     {"mvc",  mopMVC  },