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