Symbol: INT64_ALIGNMENT