Question: How to extract the highest-indexed specialization from a structure?