{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"throw_exhaust!(Interrupted);"}]}
            throw_exhaust!(Interrupted);
        if CTRL_C_RECEIVED.load(Relaxed) {
        }