Symbol: INT32_ALIGNMENT