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