(def! bit-dec 
      (fn* [x] (
        (def! bits (unpack-bits x 256))                        
        (def! enforce-step-1 (fn* [b] (enforce (add-one-lc0 (sub-lc0 b) (add-lc1 b))))
        (map enforce-step-1 bits)
        (map (fn* [b] ((add-lc0 b) double-coeff-lc) bits)                       
        (enforce reset-coeff-lc sub-lc0 add-one-lc1)
      )))))