#include <metal_stdlib>

using namespace metal;
struct S {
  /* 0x0000 */ int a;
};

kernel void tint_symbol(device S& buf [[buffer(0)]]) {
  device int* const p = &(buf.a);
  *(p) = 12;
  return;
}