Order †Thecodontia Owen, 1859 see Division Archosauria Cope, 1869 Suborder †Ornithosuchia (Huene, 1908) Family †Lagosuchidae Bonaparte, 1975 Genus †Lagosuchus Romer, 1971