Symbol: s32_t