set_i32x
return (set_i32x(pp, s, INT8_MIN, INT8_MAX));
return (set_i32x(pp, s, INT16_MIN, INT16_MAX));
return (set_i32x(pp, s, INT32_MIN, INT32_MAX));