SKIP: FAILED
void main_1() {
[loop] while (true) {
float x_600 = 0.0f;
if (true) {
break;
}
x_600 = 50.0f;
{
const uint x_82 = uint(x_600);
return;
void main() {
main_1();