CHECK_WINDOW_CONFIGURATION 7058 src/window.c     CHECK_WINDOW_CONFIGURATION (config);
CHECK_WINDOW_CONFIGURATION 7092 src/window.c     CHECK_WINDOW_CONFIGURATION (configuration);
CHECK_WINDOW_CONFIGURATION 8258 src/window.c     CHECK_WINDOW_CONFIGURATION (configuration1);
CHECK_WINDOW_CONFIGURATION 8259 src/window.c     CHECK_WINDOW_CONFIGURATION (configuration2);