{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// Range of the bad memory that was encountered. (Might not be maximal.)
    pub access: AllocRange,
    pub bad: AllocRange,