#include <metal_stdlib>

using namespace metal;
void f(int a__, device int* const tint_symbol_1) {
  int const b = a__;
  *(tint_symbol_1) = b;
}

kernel void tint_symbol(device int* tint_symbol_2 [[buffer(0)]]) {
  f(1, tint_symbol_2);
  return;
}