`delete[]`