rem: function () { _current_pid = current_pid;  recv({}, kappa); }); 
add: f(arg, function () { }) 
context:                   function () {                      _current_pid = current_pid;//                      _debug("scheduled process " + current_pid);                      recv({}, kappa);   // TBD: remove this bogus arg                  });
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3248/4114bc9f001e202dbc72772c75cd3c5fbedd5463/jslib.js/clean/lib/js/jslib.js