let
label_at_closure (_,label) = label