(0 0) ^ unexpected integer, expecting end-of-input