અને શરૂઆતમાં બધી લાઇન્સ અસ્પષ્ટ સ્થિતિમાં X હોય છે કારણ કે સિમ્યુલેશન આગળ વધે છે, મૂલ્યો વ્યાખ્યાયિત થાય છે અને ફોલ્ટ લિસ્ટ અપડેટ થાય છે.
और शुरुआत में सभी लाइनें एक अनस्पेसिफाइड स्टेट X में सिमुलेशन प्रोसीड के रूप में होती हैं, मान परिभाषित हो जाते हैं और फाल्ट सूचियां अपडेट हो जाती हैं।