-- A C label, completely unencoded

pprCLabelString :: CLabelString -> SDoc
pprCLabelString lbl = ftext lbl
pprCLabelString :: CLabelString -> SDoc
pprCLabelString lbl = ftext lbl
pprCLabelString lbl = ftext lbl