hbuf              717 src/dps8/dps8_crdrdr.c       uint hbuf [l + 1];
hbuf              718 src/dps8/dps8_crdrdr.c       asciiToH ((char *) cardImage, hbuf, l);
hbuf              736 src/dps8/dps8_crdrdr.c         putbits36_12 (& buffer [wordno], fieldno * 12, (word12) hbuf [col]);