#include <metal_stdlib>

using namespace metal;
kernel void tint_symbol(uint local_invocation_index [[thread_index_in_threadgroup]]) {
  threadgroup int3 tint_symbol_2;
  if ((local_invocation_index == 0u)) {
    tint_symbol_2 = int3();
  }
  threadgroup_barrier(mem_flags::mem_threadgroup);
  (void) tint_symbol_2;
  return;
}