bset_right_margin_cols 2536 src/haikufns.c   bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));
bset_right_margin_cols 3296 src/pgtkfns.c    bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));
bset_right_margin_cols 7522 src/w32fns.c     bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));
bset_right_margin_cols 8916 src/xfns.c       bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));