(a.) Pockmarked; pitted.