Just out of curiosity: Why is the STL banned? Are there any supported target platforms that have a bare C++ compiler without STL?