K 10 svn:author V 7 attilio K 8 svn:date V 27 2010-07-29T17:01:06.418022Z K 7 svn:log V 125 Make the debugging a conditional stub, introducing some convenience macros and improving the style in the surrounding lines. END