#include <metal_stdlib>

using namespace metal;
void f() {
  thread int tint_symbol = 1;
  thread int tint_symbol_1 = 2;
  int b = tint_symbol;
  int b__ = tint_symbol_1;
}