This test file is for the NavigationTest.
