{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
/// Install our usual `ctrlc` handler, which sets [`rustc_const_eval::CTRL_C_RECEIVED`].
/// Making this handler optional lets tools can install a different handler, if they wish.