stateful_nav library