static uint3 x_2 = uint3(0u, 0u, 0u);
RWByteAddressBuffer x_5 : register(u0, space0);
RWByteAddressBuffer x_6 : register(u1, space0);
RWByteAddressBuffer x_7 : register(u2, space0);

void main_1() {
  const uint x_20 = x_2.x;
  const uint x_22 = x_5.Load((4u * x_20));
  const uint x_24 = x_6.Load((4u * x_20));
  x_7.Store((4u * x_20), asuint(asuint((asint(x_22) / asint(x_24)))));
  return;
}

struct tint_symbol_1 {
  uint3 x_2_param : SV_DispatchThreadID;
};

void main_inner(uint3 x_2_param) {
  x_2 = x_2_param;
  main_1();
}

[numthreads(1, 1, 1)]
void main(tint_symbol_1 tint_symbol) {
  main_inner(tint_symbol.x_2_param);
  return;
}