STL models for testing my STL generation code