Type genus of the Cordylidae, spiny lizards somewhat resembling tiny crocodiles English: Cordylus, genus Cordylus