Statocles now uses named navs