#include <metal_stdlib>

using namespace metal;
void func(device int* const pointer) {
  *(pointer) = 42;
}

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