vertex main :: () { a : float2; b : float2; x := (a + b).x; }