```tbaa_array``` is the right annotation for a load from a field of a ```jl_array_t``` when the particular field is not known.  From Jeff's description, it sounds like the load in question is something else, but I'm not sure what.  Looking at ``jl_array_to_string``` for guidance, it looks to me as if the load here is from an element of a ```jl_value_t*[2]``` built expressly for strings.  What other loads/stores can get at those pointers?