pl. ) of Mammilla