tokens: ['Upon', 'receipt', 'of', 'the', 'TMSI', 'REALLOCATION', 'COMMAND', 'message', 'the', 'mobile', 'station', 'a', 'shall', 'stores', 'the', 'Location', 'Area', 'Identifier', 'LAI', 'in', 'the', 'SIMUSIM', 'b', 'shall', 'enter', 'the', 'substate', 'NORMAL', 'SERVICE', 'if', 'the', 'MS', 'is', 'in', 'the', 'substate', 'ATTEMPTING', 'TO', 'UPDATE', 'c', 'if', 'the', 'received', 'identity', 'is', 'the', 'IMSI', 'of', 'the', 'relevant', 'mobile', 'station', 'shall', 'delete', 'any', 'TMSI', 'd', 'if', 'the', 'received', 'identity', 'is', 'a', 'TMSI', 'shall', 'store', 'the', 'TMSI', 'in', 'the', 'SIMUSIM', 'and', 'e', 'shall', 'send', 'a', 'TMSI', 'REALLOCATION', 'COMPLETE', 'message', 'to', 'the', 'network']