VERTICAL_SCROLL_BAR_TOP_BORDER  600 src/w32term.h  #define VERTICAL_SCROLL_BAR_TOP_BORDER (vertical_scroll_bar_top_border)
VERTICAL_SCROLL_BAR_TOP_BORDER 1677 src/xterm.h    #define VERTICAL_SCROLL_BAR_TOP_BORDER (2)