rem: return function(name, arguments) {  _debug("starting xmlhttprequest");  var request = _newXMLHttpRequest(); asynch = true;       request.open('POST', location.href, asynch); request.setRequestHeader('Content-Type','application/x-www-form-urlencoded'); request.onreadystatechange = _remoteCallHandler(kappa, request);  request.send("__name=" + _base64encode(name) + "&__args=" + _base64encode(JSON.stringify(arguments))); } 
add: _yield(function() { if (args == undefined) {  f.apply(f, [kappa]) } else {  var argz = args; argz.push(kappa); return f.apply(f, argz) } }); 
context:   return function(name, arguments) {    _debug("starting xmlhttprequest");    var request = _newXMLHttpRequest();    asynch = true;    // [IE] IE mistakenly urlencodes # as %23    // whereas Firefox leaves it plain    //    // so we use location.href instead    // which seems to work in both    request.open('POST', location.href, asynch);    request.setRequestHeader('Content-Type','application/x-www-form-urlencoded');    request.onreadystatechange = _remoteCallHandler(kappa, request);    request.send("__name=" + _base64encode(name) +                  "&__args=" + _base64encode(JSON.stringify(arguments)));  }
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/ad49fe4baf93c92fa7e5cffde6934bd00a38a49f/jslib.js/clean/lib/js/jslib.js