let
labels_empty l = raise (
LabelError
l)