Which of these properly de-allocated the following array?
int *ptr = new int[10];

a. delete ptr;
b. delete[] ptr;
c. delete *ptr;
d. delete[] *ptr;