K 10 svn:author V 6 marino K 8 svn:date V 27 2013-11-01T20:32:56.028717Z K 7 svn:log V 37 print/splix: Fix C++ issues on gcc48 END