1 
2 /* This file contains a global array.  It is compiled into a .so,
3    which is dlopened by preen_invar.c.  That then accesses the global
4    array, hence generating Inv_Global invariants in sg_main.c.
5 
6    preen_invar.c then dlcloses this object, causing it to get
7    unmapped; and we then need to be sure that the Inv_Global is
8    removed by preen_Invars (or, at least, that the system doesn't
9    crash..). */
10 
11 char im_a_global_array[10];
12 
13