if (path[0] !== "$") {
          console.log("Warning! root of normalized path '" + path + "' was '" + path[0] + "', not '$'");
        }