fn extract_labels(ctxt: &mut LifetimeContext<'_, '_>, body: &Body<'_>)