struct Out {
@builtin(position) @invariant
pos : vec4<f32>;
}
@stage(vertex)
fn main() -> Out {
return Out();