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