Petrolacosaurus is an extinct genus of diapsid reptile from the late Carboniferous period. It was a small, 40-centimetre long reptile, and one of the earliest known reptile with two temporal fenestrae. Wikipedia