rem: __dwindow.document.write('<b>' + __current_pid + '</b> : ' + msg + '<br/>'); 
add: if (DEBUGGING) { __dwindow.document.write('<b>' + __current_pid + '</b> : ' + msg + '<br/>'); } 
context: function __debug(msg) {   __dwindow.document.write('<b>' + __current_pid + '</b> : ' + msg + '<br/>');}
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/60a62962d2b5b9ac6e45e3da64136dfdf85b3db4/jslib.js/buggy/jslib.js