{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// analysis/dynamic program verification (e.g. Miri or CHERI platforms).
    /// Since this cast is lossy, it is considered good style to use the