RWByteAddressBuffer sb_rw : register(u0, space0);

void arrayLength_61b1c7() {
  uint tint_symbol_2 = 0u;
  sb_rw.GetDimensions(tint_symbol_2);
  const uint tint_symbol_3 = ((tint_symbol_2 - 0u) / 4u);
  uint res = tint_symbol_3;
}

struct tint_symbol {
  float4 value : SV_Position;
};

tint_symbol vertex_main() {
  arrayLength_61b1c7();
  const tint_symbol tint_symbol_4 = {float4(0.0f, 0.0f, 0.0f, 0.0f)};
  return tint_symbol_4;
}

void fragment_main() {
  arrayLength_61b1c7();
  return;
}

[numthreads(1, 1, 1)]
void compute_main() {
  arrayLength_61b1c7();
  return;
}