@stage(vertex)
fn main() -> @builtin(position) vec4<f32> {
  return vec4<f32>(1.0, 2.0, 3.0, 4.0);
}