crocodile [pl. crocodiles]