Module StdLabels = StdLabels