{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// The important point here is that, for soundness purposes, the
    ///
    /// regions in question are not particularly important. We will