A GUI library based on SDL