Handle C-REF for arrays-of-aliases-to-pointer