K 10 svn:author V 6 marcel K 8 svn:date V 27 2012-07-02T21:18:09.568311Z K 7 svn:log V 115 Handle traps from the debugger. We need to catch them and re-enter the debugger where they're being taken care of. END