File "stdin", line 3, characters 0-11:
Error: x already used