diff -r 000000000000 -r bde4ae8d615e os/ossrv/genericopenlibs/cppstdlib/stl/etc/std_headers.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/os/ossrv/genericopenlibs/cppstdlib/stl/etc/std_headers.txt	Fri Jun 15 03:10:57 2012 +0200
@@ -0,0 +1,34 @@
+algorithm
+bitset
+complex
+deque
+fstream
+functional
+hash_map
+hash_set
+iomanip
+ios
+iosfwd
+iostream
+istream
+iterator
+limits
+list
+locale
+map
+memory
+numeric
+ostream
+pthread_alloc
+queue
+set
+slist
+sstream
+stack
+stdexcept
+streambuf
+string
+strstream
+utility
+valarray
+vector