(export x 100)
(export x 200)
(export y 200)
(export y 300)
(var z 300)

(export l0 (= x (+ x y z).
(export f600 (=> x (+ x y z).