pool_value_set_uint64
pool_value_set_uint64($$->prop_value, $4.u);
PoolInternal.pool_value_set_uint64(_this, value);
pool_value_set_uint64(
(void) pool_value_set_uint64(pv_new, uval);
pool_value_set_uint64(&val, src_size);
pool_value_set_uint64(&val, tgt_size);
pool_value_set_uint64(&val, src_size);
pool_value_set_uint64(&val, tgt_size);
extern void pool_value_set_uint64(pool_value_t *, uint64_t);
pool_value_set_uint64(&val, smin);
pool_value_set_uint64(&val, smax);
pool_value_set_uint64(&val, smin);
pool_value_set_uint64(&val, smax);
pool_value_set_uint64(&prop->pp_value, val);
pool_value_set_uint64(&val, src_size);
pool_value_set_uint64(&val, tgt_size);
pool_value_set_uint64(pv, uval);
pool_value_set_uint64(&val, size);
pool_value_set_uint64(&val, 0);
pool_value_set_uint64(&val, ++nid);
pool_value_set_uint64(value, uval);
pool_value_set_uint64(value, uval);
pool_value_set_uint64(val, (uint64_t)max);
pool_value_set_uint64(val, (uint64_t)min);