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