#include <metal_stdlib>

using namespace metal;
void main_1(thread int* const tint_symbol_2) {
  int const x_2 = *(tint_symbol_2);
  return;
}

kernel void tint_symbol(uint x_1_param [[thread_index_in_threadgroup]]) {
  thread int tint_symbol_3 = 0;
  tint_symbol_3 = as_type<int>(x_1_param);
  main_1(&(tint_symbol_3));
  return;
}