[[stage(vertex)]]
fn main() -> [[builtin(position), invariant]] vec4<f32> {
  return vec4<f32>();
}