Symbol: write_pcm_s32