void set_vector_element(inout int3 vec, int idx, int val) {
  vec = (idx.xxx == int3(0, 1, 2)) ? val.xxx : vec;
}

void deref() {
  int3 a = int3(0, 0, 0);
  int tint_symbol_1 = 0;
  set_vector_element(a, tint_symbol_1, (a[tint_symbol_1] + 42));
}

void no_deref() {
  int3 a = int3(0, 0, 0);
  int tint_symbol_3 = 0;
  set_vector_element(a, tint_symbol_3, (a[tint_symbol_3] + 42));
}

void deref_inc() {
  int3 a = int3(0, 0, 0);
  int tint_symbol_5 = 0;
  set_vector_element(a, tint_symbol_5, (a[tint_symbol_5] + 1));
}

void no_deref_inc() {
  int3 a = int3(0, 0, 0);
  int tint_symbol_7 = 0;
  set_vector_element(a, tint_symbol_7, (a[tint_symbol_7] + 1));
}

[numthreads(1, 1, 1)]
void main() {
  deref();
  no_deref();
  deref_inc();
  no_deref_inc();
  return;
}