TUCKER: Change the type of the return value of handleSpecialObjectSelectionSequence()