और शुरुआत में सभी लाइनें एक अनस्पेसिफाइड स्टेट X में सिमुलेशन प्रोसीड के रूप में होती हैं, मान परिभाषित हो जाते हैं और फाल्ट सूचियां अपडेट हो जाती हैं।
మరియు ప్రారంభంలో అన్ని పంక్తులు పేర్కొనబడని స్థితిలో X లో ఉన్నాయి, అనుకరణ ముందుకు సాగినప్పుడు, విలువలు నిర్వచించబడతాయి మరియు తప్పు జాబితాలు నవీకరించబడతాయి.