Failed! Deleted File array.cocci