EISReadCache      711 src/dps8/dps8_eis.c         EISReadCache (p, paragraphAddress);
EISReadCache      754 src/dps8/dps8_eis.c     EISReadCache (p, paragraphAddress);