Functions in navigator.h