src/path_navigation.cpp