{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"nav.full_range"}]}
    nav.full_range
    // full_range.start < focus_range.start < name, should give us a decent unique ordering
        .start()