{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"rustc_const_eval::CTRL_C_RECEIVED.store(true,"}]}
        rustc_const_eval::CTRL_C_RECEIVED.store(true, Ordering::Relaxed);
        // CTRL_C_RECEIVED, the compiler exits reasonably promptly.
        std::thread::sleep(std::time::Duration::from_millis(100));