struct VertexInputs0 {
  @builtin(vertex_index)
  vertex_index : u32;
  @location(0)
  loc0 : i32;
}

struct VertexInputs1 {
  @location(2)
  loc1 : u32;
  @location(3)
  loc3 : vec4<f32>;
}

@stage(vertex)
fn main(inputs0 : VertexInputs0, @location(1) loc1 : u32, @builtin(instance_index) instance_index : u32, inputs1 : VertexInputs1) -> @builtin(position) vec4<f32> {
  let foo : u32 = (inputs0.vertex_index + instance_index);
  return vec4<f32>();
}