Die Schleife beginnt mit der Auswertung der Bedingung. 1 ist ungleich 0, also wird die Schleife durchlaufen. Jetzt wird überprüft ob wbuild gleich 3 ist. Nehmen wir an, dass das nicht der Fall ist. Dann wird der Körper des ifs nicht abgearbeitet. Weitere Anweisungen gibt es nicht mehr im Schleifenköper. Also wird wieder die Schleifenbedingung überprüft. 1 ist immer noch ungleich 0, also wieder in den Schleifenköper usw. bis in alle Ewigkeit. Überleg mal, wo das wait hinsollte...