add: else {  kappa(serverResponse); } } } 
context:       return function (msg) {        __mailboxes[pid].push(msg);        __wakeup(pid);        kappa(1);      }
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/c508a604f1a1504098e30a31b840d53bdb860a13/jslib.js/clean/jslib.js