Symbol: check_s32c1i