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