(program	
 (fun vertex vs_main -> float4 (@position)
  [(:= pos float4 (@position))] 
  (:= x float 5) 
  (= x 7) 
  (return pos)))