rem: return function(xml, attr) { var val = xml[0].attributes[attr]; if (val == undefined) kappa({label:'None', 'value':({})}); else kappa({'label':'Some', 'value':val.value}); } 
add: setTimeout((function() { __current_pid = current_pid; my_cont()}), sched_pause); 
context:    return function(xml, attr) {      var val = xml[0].attributes[attr];      if (val == undefined) kappa({label:'None', 'value':({})});      else kappa({'label':'Some', 'value':val.value});   }
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/067f1f0f89b088c12115062ef8d37890796fcc1b/jslib.js/clean/jslib.js