function do_get_file(path) { 
function do_get_file(path, allowInexistent) { 
function do_get_file(path) {  var comps = path.split("/");  try {    // The following always succeeds on Windows because we use cygpath with    // the -a (absolute) modifier to generate NATIVE_TOPSRCDIR.    var lf = Components.classes["@mozilla.org/file/local;1"]                       .createInstance(Components.interfaces.nsILocalFile);    lf.initWithPath(environment["NATIVE_TOPSRCDIR"]);  } catch (e) {    // Relative -- and not-Windows per above    lf = Components.classes["@mozilla.org/file/directory_service;1"]                   .getService(Components.interfaces.nsIProperties)                   .get("CurWorkD", Components.interfaces.nsILocalFile);    // We can't use appendRelativePath because it's not supposed to work with    // paths containing "..", and this path might contain "..".    var topsrcdirComps = environment["NATIVE_TOPSRCDIR"].split("/");    Array.prototype.unshift.apply(comps, topsrcdirComps);  }  for (var i = 0, sz = comps.length; i < sz; i++) {    // avoids problems if either path ended with /    if (comps[i].length > 0)      lf.append(comps[i]);  }  do_check_true(lf.exists());  return lf;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/72244a2fb8931df9c5515dc51e84f979446babc2/head.js/clean/tools/test-harness/xpcshell-simple/head.js