Failed! Deleted File hashmap.cocci