Dragocephalus

Dragocephalus is an extinct genus of non-mammalian synapsid.