raph-amiard/Z3 — comment on commit 21b3b6b250a21f6ce71e99277006e6f8c2c2e2bb
File: src/GenBlock.cpp line 421
By raph-amiard:

This is wrong and it can't work, you want to do that at runtime, probably in a C function