Dario Petrillo

While preparing #282 I remember testing something similar to this, but I would get some empty files for libcs older than 2.34. I'll check if this is really the case...

@robbert1978 While the change seems to work for the specific libc you're testing, it also causes a few regressions: ``` Files: libc6_2.31-0ubuntu9_amd64.so libc6_2.31-0ubuntu9_amd64.so: 19383256 bytes -> 2029224 bytes libc.so.6: 19383256...

A little followup, I implemented a possible API for this over at [dp1/z3.rs/decl-params](https://github.com/dp1/z3.rs/tree/decl-params). I wrapped the possible result types in a `DeclParam` enum, and the intention is that accessing a...