K 10 svn:author V 3 jhb K 8 svn:date V 27 2008-04-05T20:13:15.000000Z K 7 svn:log V 54 Move INTR_FILTER from opt_global.h to its own header. END