let label (_, l, _) = l