let path_opt' cave path = ([], path, List.rev (List.tl path), [])