let
label (_, l, _) = l