Array-access_analysis loading ...