let
greedy_astar cave src dst dist =
pathfindingloop cave src dst greedy_astar' greedy_astar'' dist