1 ((declare (out) float a) 2 (function main 3 (signature void (parameters) 4 ((loop () () () () 5 ((assign (x) (var_ref a) (constant float (1.000000))) break)))))) 6