rem: setTimeout((function() { __current_pid = current_pid; my_cont()}), sched_pause); 
add: return function (arg) { var childPid = ++__maxPid; __mailboxes[childPid] = []; setTimeout(function () { __current_pid = childPid; f(__applyChanges)(arg) }, 200); kappa(childPid); }; 
context:     setTimeout((function() { __current_pid = current_pid; my_cont()}), sched_pause);
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/c508a604f1a1504098e30a31b840d53bdb860a13/jslib.js/clean/jslib.js