Symbol: sdp_put_int32