hbuf              713 src/dps8/dps8_crdrdr.c       uint hbuf [l];
hbuf              714 src/dps8/dps8_crdrdr.c       asciiToH ((char *) cardImage, hbuf, l);
hbuf              732 src/dps8/dps8_crdrdr.c         putbits36_12 (& buffer [wordno], fieldno * 12, (word12) hbuf [col]);