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