rem: num_monitors = 0;
add: glgfx_num_monitors = 0;
context: void glgfx_destroy_monitors(void) {  int i;  for (i = 0; i < num_monitors; ++i) {    glgfx_monitor_destroy(monitors[i]);    monitors[i] = NULL;  }  num_monitors = 0;}