struct ComputeInputs0 {
  [[builtin(local_invocation_id)]]
  local_invocation_id : vec3<u32>;
}

struct ComputeInputs1 {
  [[builtin(workgroup_id)]]
  workgroup_id : vec3<u32>;
}

[[stage(compute), workgroup_size(1)]]
fn main(inputs0 : ComputeInputs0, [[builtin(local_invocation_index)]] local_invocation_index : u32, [[builtin(global_invocation_id)]] global_invocation_id : vec3<u32>, inputs1 : ComputeInputs1) {
  let foo : u32 = (((inputs0.local_invocation_id.x + local_invocation_index) + global_invocation_id.x) + inputs1.workgroup_id.x);
}