rem: _block_proc(_current_pid, function () { _current_pid = current_pid; recv(kappa)() }); 
add: _blocked_procs[pid] = function () { _current_pid = current_pid; _debug("scheduled " + current_pid); its_cont() }; 
context:       _block_proc(_current_pid, function () { _current_pid = current_pid; recv(kappa)() });
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/efbbfc276dd06c55e8127c897171af8b6da1112a/jslib.js/clean/lib/js/jslib.js