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