port BugNav and the Navigator interface