ep L1: do { switch (the_var) { ep -> LBB1 { LBB1 switch (the_var) { LBB1 -> LBB2 { break; } default: { break L1; } } LBB2 switch (the_var) { default: { } } break; } default: { } } } while(0); LBB3 L5: do { switch (the_var) { LBB3 -> LBB4 { LBB4 switch (the_var) { LBB4 -> LBB5 { break; } default: { break L5; } } while(1) { LBB5 switch (the_var) { LBB5 -> LBB6 { break L5; break; } default: { } } } break; } default: { } } } while(0); LBB6