For the weak module, if some value is pointing to another value which 
is in a weak array, can that value be erased by the Gc still?

e.g. type my_t = (int32, int32_elt, c_layout) Array1.t (* bigarray *)

and I had a weak array of my_t, and was holding on to an int32 inside 
the bigarray...

Jonathan