Implemented the GOTO state but it is untested.