Trachystegos

Trachystegos is an extinct genus of microsaur within the family Pantylidae.