#include <metal_stdlib>

using namespace metal;
void f(thread int* const tint_symbol, thread int* const tint_symbol_1) {
  int b = *(tint_symbol);
  int b__ = *(tint_symbol_1);
}