Path pathAppendIndex(Path path, int index) { return Path(pos: List.from(path.pos)..add(Path_Pos(index: Int64(index)))); }