(assert 
  (not 
    (= |main::list@3| 
      (_ bv0 32)
    )
  )
)