rem: _blocked_procs[pid] = function () { _current_pid = current_pid;  its_cont() }; 
add: function () { _current_pid = current_pid;  recv({}, kappa); }); 
context:   _blocked_procs[pid] = function () {                            _current_pid = current_pid;//                            _debug("scheduled process " + current_pid);                            its_cont()                        };
meta: 3249	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3249/2a65bdc0b5b0097acba520c7aa9be205f214cf49/jslib.js/buggy/lib/js/jslib.js