K 10 svn:author V 5 mmacy K 8 svn:date V 27 2018-05-19T03:50:29.285770Z K 7 svn:log V 79 add DBGSET macro to conditionally assign to a variable depending on INVARIANTS END