Stereophallodon

Stereophallodon is an extinct genus of non-mammalian synapsids.