. "Aneides flavipunctatus" . . .