In that case the statement a := read() will fail, and write will simply not be called.
その場合は、a := read()が失敗し、write(a)は呼ばれない、という単純な動作である。