def __call__(self, mangled):
    self.proc.stdin.write((mangled + b'\n'))
    self.proc.stdin.flush()
    return self.proc.stdout.readline().rstrip()
def __call__(self, mangled):
    self.proc.stdin.write((mangled + b'\n'))
    self.proc.stdin.flush()
    return self.proc.stdout.readline().rstrip()