{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
        // This loop performs the downward link encoding mentioned above. Details below!
        // `InCycleWith` upwards.
        // Note that there are two different states being assigned: the root state, and