#include <metal_stdlib>

using namespace metal;
float4 tint_workgroupUniformLoad(threadgroup float4* const p) {
  threadgroup_barrier(mem_flags::mem_threadgroup);
  float4 const result = *(p);
  threadgroup_barrier(mem_flags::mem_threadgroup);
  return result;
}

float4 foo(threadgroup float4* const tint_symbol) {
  return tint_workgroupUniformLoad(tint_symbol);
}