dmsg              342 src/simh/sim_tmxr.c char   dmsg[80]  = "";
dmsg              350 src/simh/sim_tmxr.c         (void)sprintf (dmsg, "%s device",                     /* report device name */
dmsg              357 src/simh/sim_tmxr.c     (void)sprintf (msgbuf, "%s%s%s\r\n\n", cmsg, dmsg, lmsg);