{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"s.print_inner_attributes(&krate.attrs);"}]}
        s.print_inner_attributes(&krate.attrs);
    State::to_string(|s| {
        for item in &krate.items {