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