context: function _yield(f, a, k) { //  _debug(++_callCount);  ++_yieldCount;  if ((_yieldCount % _yieldGranularity) == 0) {    var current_pid = _current_pid;    setTimeout((function() { _current_pid = current_pid;//                             _debug("scheduled (after pre-emption) " + current_pid);                              f(a, k)}),               sched_pause);  }  else {    return f(a,k);  }}
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/c0069a501199dca7a1e727b4404f3d417f23730d/jslib.js/clean/lib/js/jslib.js