#include <metal_stdlib>

using namespace metal;
kernel void f(device int* tint_symbol [[buffer(0)]]) {
  int c = 0;
  int d = 0;
  *(tint_symbol) = as_type<int>((as_type<uint>(c) + as_type<uint>(d)));
  return;
}