Module String = StdLabels.String