Symbol: duplicate_intarr