More work on “Navigation.c”
It is still not done.