gator [pl. gators]