context: function _block_proc(pid, its_cont) {  // FIXME: const?? is this OK?  var current_pid = _current_pid;  _blocked_procs[pid] = function () {                            _current_pid = current_pid;//                            _debug("scheduled process " + current_pid);                            its_cont()                        };  // discard stack}
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/c0069a501199dca7a1e727b4404f3d417f23730d/jslib.js/clean/lib/js/jslib.js