CHECK_WINDOW_CONFIGURATION 7041 src/window.c     CHECK_WINDOW_CONFIGURATION (config);
CHECK_WINDOW_CONFIGURATION 7075 src/window.c     CHECK_WINDOW_CONFIGURATION (configuration);
CHECK_WINDOW_CONFIGURATION 8241 src/window.c     CHECK_WINDOW_CONFIGURATION (configuration1);
CHECK_WINDOW_CONFIGURATION 8242 src/window.c     CHECK_WINDOW_CONFIGURATION (configuration2);