rem: return function (msg) { _mailboxes[pid].push(msg); _wakeup(pid); kappa(1); } 
add: return function() { if ( _mailboxes[_current_pid].length > 0) { msg = _mailboxes[_current_pid].pop() kappa(msg); } else { _block_proc(_current_pid, function () { recv(kappa)() }); } } 
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/4fadb4d6641df7e04456a5fb2058e265f59cc5aa/jslib.js/clean/jslib.js