और शुरुआत में सभी लाइनें एक अनस्पेसिफाइड स्टेट X में सिमुलेशन प्रोसीड के रूप में होती हैं, मान परिभाषित हो जाते हैं और फाल्ट सूचियां अपडेट हो जाती हैं।
തുടക്കത്തിൽ സിമുലേഷൻ തുടരുമ്പോൾ എല്ലാ വരികളും വ്യക്തമാക്കാത്ത അവസ്ഥ X- ൽ ആയിരിക്കുമ്പോൾ, മൂല്യങ്ങൾ നിർവ്വചിക്കപ്പെടുകയും തെറ്റായ ലിസ്റ്റുകൾ അപ്ഡേറ്റ് ചെയ്യുകയും ചെയ്യുന്നു.