{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// This is implemented by mixing a session-key into the ID fingerprint of
    /// sure that anonymous `NodeId`s allocated in different sessions don't overlap.
    /// each anon node. The session-key is a hash of the number of previous sessions.