SKIP: FAILED
static uint var_1 = 0u;
void main_1() {
[loop] while (true) {
if (false) {
break;
}
return;
void main() {
main_1();