Elephantosaurus

Elephantosaurus is an extinct genus of non-mammalian synapsid.