{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ReadPointerAsInt(Option<(AllocId,"}]}
    ReadPointerAsInt(Option<(AllocId, BadBytesAccess)>),
    /// Encountered a pointer where we needed an integer.
    /// Accessing thread local statics