[[block]]
struct S {
  a : i32;
};

[[group(0), binding(0)]]
var<storage, read_write> v : S;

[[stage(compute), workgroup_size(1)]]
fn main() {
  let p : ptr<storage, i32, read_write> = &v.a;
  let use : i32 = *p + 1;
}