#include <metal_stdlib>

using namespace metal;
void tint_symbol(device uint4* const tint_symbol_3) {
  int const tint_symbol_2 = 1;
  (*(tint_symbol_3))[tint_symbol_2] = ((*(tint_symbol_3))[tint_symbol_2] - 1u);
  (*(tint_symbol_3))[2] = ((*(tint_symbol_3))[2] - 1u);
}