K 10 svn:author V 4 lofi K 8 svn:date V 27 2003-08-04T13:18:38.000000Z K 7 svn:log V 131 Work around gcc/libstdc++ bug in -CURRENT. Noticed by: Kirill Ponomarew , bento Approved by: arved (Mentor) END