@typecheck_method(value=IR)
def __init__(self, value):
    super().__init__(value)
    self.value = value
@typecheck_method(value=IR)
def __init__(self, value):
    super().__init__(value)
    self.value = value