Changed type from Array_t* to Array_t for get_docs in C code base