#include <metal_stdlib>
using namespace metal;

#define TINT_ISOLATE_UB(VOLATILE_NAME) \
  {volatile bool VOLATILE_NAME = false; if (VOLATILE_NAME) break;}

void f() {
  {
    int i0520 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
  {
    int i62 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false_1)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
  {
    int i0520 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false_2)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
  {
    int i62 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false_3)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
  {
    int i62 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false_4)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
  {
    int i60 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false_5)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
  {
    int i62 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false_6)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
  {
    int i60 = 0;
    while(true) {
      TINT_ISOLATE_UB(tint_volatile_false_7)
      if (false) {
      } else {
        break;
      }
      {
      }
      continue;
    }
  }
}