{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
        /// The size of the memory range that was expected to be in-bounds.
        ptr_offset: i64,
        inbounds_size: i64,