WHILE_BLOCK_1: while (stuff) {
                            more stuff;
                            next WHILE_BLOCK_1;
                     }