condition, read-stmt, write-stmt, stmt-suffix