INTPTR_WIDTH     15040 src/xterm.c      verify (INTPTR_WIDTH <= 64);
INTPTR_WIDTH     15041 src/xterm.c      int sign_shift = INTPTR_WIDTH - 32;