Use cl-labels instead of labels