rem: return _remoteCallHandler(kappa, request)(); 
add: return _remoteCallHandler(safe_kappa, request)(); 
context:   return function(name, arguments) {    var in_main_process = _current_pid == _mainPid;      _debug("starting xmlhttprequest");    var request = _newXMLHttpRequest();    // Posting to location.href works in both Firefox and IE    // (unlike posting to '#', which IE mistakenly urlencodes as %23)    request.open('POST', location.href, !in_main_process);    request.setRequestHeader('Content-Type','application/x-www-form-urlencoded');    request.onreadystatechange = _remoteCallHandler(kappa, request);    request.send("__name=" + _base64encode(name) +                  "&__args=" + _base64encode(JSON.stringify(arguments)));    if (in_main_process) {      return _remoteCallHandler(kappa, request)();    }  }
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3248/2a65bdc0b5b0097acba520c7aa9be205f214cf49/jslib.js/buggy/lib/js/jslib.js