rem: var current_pid = __current_pid; 
add:  const current_pid = __current_pid; 
context: function __block_proc(pid, its_cont) {  var current_pid = __current_pid;  __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