K 10
svn:author
V 5
luigi
K 8
svn:date
V 27
2009-12-16T13:00:37.126439Z
K 7
svn:log
V 93
bring back a couple of #include that are supplied by nesting,
and explain why they are used.

END