struct UBO {
  data : [[stride(16)]] array<i32, 4>;
  dynamic_idx : i32;
}

[[group(0), binding(0)]] var<uniform> ubo : UBO;

struct Result {
  out : i32;
}

[[group(0), binding(2)]] var<storage, read_write> result : Result;

[[stage(compute), workgroup_size(1)]]
fn f() {
  result.out = ubo.data[ubo.dynamic_idx];
}