{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"p.print_pat(*param);"}]}
            p.print_pat(*param);
        body.params.iter().for_each(|param| {
            p.buf.push_str(", ");