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
