rem: return function (msg) { __mailboxes[pid].push(msg); __wakeup(pid); kappa(1); 
add: return function() { if (request.readyState == isComplete) {  var serverResponse = JSON.parse(__base64decode(request.responseText.replace('\n', ''))); if ((serverResponse instanceof Object) && ('__continuation' in serverResponse)) {  var result = window[serverResponse.__name].apply(null, __tuple_as_list(serverResponse.__arg)); request.open('POST', '#', false); request.onReadyStateChange = __remoteCallHandler(kappa, req); request.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded'); request.send("__continuation=" + serverResponse.__continuation + "&__result=" + __base64encode(JSON.stringify(result))); 
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