pint2str         1169 src/xdisp.c    static void pint2str (register char *, register int, register ptrdiff_t);
pint2str         24509 src/xdisp.c      pint2str (lnum_buf, it->lnum_width + 1, lnum_to_display);
pint2str         28080 src/xdisp.c    	  pint2str (decode_mode_spec_buf, width, disp_col);
pint2str         28111 src/xdisp.c    	pint2str (decode_mode_spec_buf, width, size);
pint2str         28242 src/xdisp.c    	pint2str (decode_mode_spec_buf, width, topline + nlines);