class Int64:
    def __init__(self, d):
        self.data = int(d)

    def __bytes__(self):