rem: _block_proc(_current_pid, function () { recv(kappa)() }); 
add: var current_pid = _current_pid; _block_proc(_current_pid, function () { _current_pid = current_pid; recv(kappa)() }); 
context:   return function() {    if ( _mailboxes[_current_pid].length > 0) {      msg = _mailboxes[_current_pid].pop()      kappa(msg);    } else {      _block_proc(_current_pid, function () { recv(kappa)() });    }  }
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/64965c5dba3c7574bbbfd1025083a71a1b10d513/jslib.js/buggy/jslib.js