{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"rec(sema,"}]}
                rec(sema, famous_defs, max_length, &ty, label_builder, config, display_target)?;
                label_builder.write_str(LABEL_MIDDLE2)?;
                label_builder.write_str(LABEL_END)?;