#include <metal_stdlib>

using namespace metal;
kernel void tint_symbol() {
  thread int tint_symbol_1 = 123;
  int const u = as_type<int>((as_type<uint>(tint_symbol_1) + as_type<uint>(1)));
  return;
}