Oh, my mistake - I missread the while loop. But wtf is this loop for anyhow? `... while(0)`???