method
incLabel = labelC <- labelC + 1; labelC