There should be some kind of function on KLabelConstant to print the representation of the label. If not, talk to Andrei S and create one.