class String:
	def __init__(self, value: str):
		self.value = value