{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"///"}]}
    /// intrinsic handling.
    /// Here we implement the intrinsics that are common to all Miri instances; individual machines can add their own
    pub fn eval_intrinsic(