for(auto j=constant_ids.begin(); (i>=0x400000 && j!=constant_ids.end()); ++j)
if(j->second==(i&0x3FFFFF))
i = j->first.int_value;
for(auto j=constant_ids.begin(); (i>=0x400000 && j!=constant_ids.end()); ++j)
if(j->second==(i&0x3FFFFF))
i = j->first.int_value;