more replacements of int with spx_int32_t