In that case the statement a := read() will fail, and write will simply not be called.
وفي تلك الحالة ستفشل العبارة a := read()، ولن يُطلب أمر الكتابة.