tokens: ['When', 'the', 'MGVF', 'receives', 'the', 'MIKEY', 'message', 'the', 'MGVF', 'first', 'determines', 'the', 'type', 'of', 'message', 'by', 'reading', 'the', 'EXT', 'If', 'the', 'EXT', 'indicates', 'MSK', 'delivery', 'clause', '', 'then', 'the', 'text', 'in', 'this', 'clause', 'applies', 'The', 'MGVF', 'shall', 'not', 'abort', 'processing', 'of', 'a', 'MIKEY', 'message', 'when', 'encountered', 'with', 'an', 'extension', 'payload', 'with', 'unknown', 'type', 'The', 'content', 'of', 'an', 'unknown', 'extension', 'payload', 'except', 'for', 'the', 'next', 'payload', 'type', 'and', 'length', 'fields', 'shall', 'be', 'treated', 'as', 'an', 'opaque', 'object', 'The', 'MAC', 'computation', 'required', 'for', 'the', 'KEMAC', 'payload', 'shall', 'include', 'any', 'unknown', 'extension', 'payloads', 'preceeding', 'it', 'NOTE', 'This', 'is', 'because', 'an', 'unknown', 'extension', 'payload', 'may', 'be', 'specified', 'for', 'ME', 'use', 'only', 'and', 'it', 'is', 'therefore', 'unknown', 'to', 'the', 'MGVF', 'Skipping', 'unknown', 'payloads', 'during', 'the', 'payload', 'parsing', 'is', 'a', 'deviation', 'from', 'recommended', 'receiver', 'behavior', 'in', 'section', '', 'of', 'RFC', '', '', 'The', 'MGVF', 'retrieves', 'the', 'MUK', 'identified', 'as', 'specified', 'in', 'clause', '', 'If', 'the', 'Key', 'Number', 'part', 'of', 'the', 'MSK', 'ID', 'in', 'the', 'EXT', 'equals', 'x', 'then', 'this', 'indicates', 'a', 'solicited', 'pull', 'procedure']