#include <metal_stdlib>

using namespace metal;
int func(const device int* const pointer) {
  return *(pointer);
}

kernel void tint_symbol(const device int* tint_symbol_1 [[buffer(0)]]) {
  int const r = func(tint_symbol_1);
  return;
}