1((declare (out) float a) (declare (out) float b)
2 (function sub
3  (signature float (parameters)
4   ((loop () () () ()
5     ((assign (x) (var_ref a) (constant float (1.000000)))
6      (return (constant float (2.000000)))))
7    (assign (x) (var_ref b) (constant float (3.000000)))
8    (return (constant float (4.000000)))))))
9