rem: return function (msg) { _mailboxes[pid].unshift(msg); _wakeup(pid); kappa(1); } 
add: setTimeout((function() { _current_pid = current_pid; kappa(); }), duration * 1000); 
context:       return function (msg) {        _mailboxes[pid].unshift(msg);        _wakeup(pid);        kappa(1);      }
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/ad49fe4baf93c92fa7e5cffde6934bd00a38a49f/jslib.js/clean/lib/js/jslib.js