rem: setTimeout((function() { _current_pid = current_pid;  f(a, k)}), 
add: function () { _current_pid = current_pid; recv({}, kappa) }); 
context:     setTimeout((function() { _current_pid = current_pid;//                             _debug("scheduled (after pre-emption) " + current_pid);                              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