add: }) } 
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/efbbfc276dd06c55e8127c897171af8b6da1112a/jslib.js/clean/lib/js/jslib.js