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