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