let label_at_closure (_,label) = label