Symbol: INT32SZ