K 10 svn:author V 5 peter K 8 svn:date V 27 2005-06-23T19:46:29.000000Z K 7 svn:log V 76 Fix a source of 'trap xxx with interrupts disabled'. This was a cut/pasto. END