{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"top_down_counter:"}]}
    top_down_counter: usize,
    /// We need to limit this in order to prevent super-linear growth in MIR size.
    /// Indicates that the caller body has been modified.