ival2
int ival0, ival1, ival2, ival3, ival4;
iy2 = ival2 & 0x007fffff;
ival2 = (iy2 + 0x20000) & 0xfffc0000;
i2 = ival2 >> 17;
iy2 = iy2 - ival2;
int64_t ival1, ival2;
(void) pool_value_get_int64(pv2, &ival2);
if (ival1 == ival2)