例があります：
mov edi, dword ptr [0x7fc70000]
add edi, 0x11
sub edi, 0x33F0B753
Z3 の簡略化後、次のようになりました (メモリ 0x7FC70000 がシンボル表示されます):
bvadd (_ bv3423553726 32) MEM_0x7FC70000
次のような結果を得るには、Z3 を ASM に変換する必要があります。
mov edi, 0xCC0F48BE
add edi, dword ptr [0x7fc70000]
またはそのように：
mov edi, dword ptr [0x7fc70000]
add edi, 0xCC0F48BE