Symbol: intpcm32_t