src/relooper/test3.txt

 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