reptiles Linnaeus 1758 [Laurin & Reisz 2020] see Class Reptilia Linnaeus, 1758 Pan-Archosauria Gauthier 2020 Crocopoda Ezcurra 2016 †Allokotosauria Nesbitt, Flynn, Pritchard, Parrish, Ranivoharimanana & Wyss 2015 Genus †Teraterpeton Sues, 2003 †Teraterpeton hrynewichorum Sues, 2003