add: _debug("launched " + childPid); 
context:         setTimeout(function () {                      _current_pid = childPid;                     f(_applyChanges)(arg)                    }, 200);
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/64965c5dba3c7574bbbfd1025083a71a1b10d513/jslib.js/buggy/jslib.js