(def fluid1
  (bind a 1 
    (bind f (abs x (+ x a))
      (+ (fluid-bind a 20 (f 300))
         (f 4000)))))

(def fluid2
  (bind a 1
    (+ (fluid-bind a 20
         (begin 
           (<- a (+ a 300))
           a))
       a)))
