Properly namespace menu_navigation.c functions