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