raph-amiard/Z3 — comment on commit 21b3b6b250a21f6ce71e99277006e6f8c2c2e2bb
File: src/StdLib/CStdLib.c line 36
By raph-amiard:

Conversely, this is useless, because the size of a value is something you can determine at "compile time" (which means the moment GenBlock::GencodeForInst is ran) with a simple call to ConstInt(sizeof(value))