vertex main :: () { x : float = 1.0; x : float = 5.0; }