K 10 svn:author V 5 luigi K 8 svn:date V 27 2012-08-01T18:49:00.654152Z K 7 svn:log V 106 add a cast to avoid a signed/unsigned warning (to be removed when we will have TUNABLE_UINT constructors) END