تضع كتلة الوظيفة S متغيرًا على صحيح.
إذا كان المدخل صحيحًا، يتم تعيين المتغير الذي تم تعيينه كقاعدة بيانات إلى TRUE.
يتم كتابة أو تعيين المتغير فقط إذا كان المدخل صحيحًا.