rem: __blocked_procs[pid] = function () { __current_pid = current_pid;  its_cont() }; 
add: return function(name, arguments) {  var request = new XMLHttpRequest(); asynch = true; request.open("POST", "#", 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)));  } 
context:   __blocked_procs[pid] = function () { __current_pid = current_pid;  its_cont() };
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/c508a604f1a1504098e30a31b840d53bdb860a13/jslib.js/clean/jslib.js