HOPKINS: More refactoring in playAnim2: Get rid of another label and associated GOTO