{"ast_node_type":"other","tokens":[{"end":117,"kind":"keyword","start":0,"text":"///"}]}
    /// Here we implement the intrinsics that are common to all Miri instances; individual machines can add their own
    /// Returns `true` if emulation happened.
    /// intrinsic handling.