Symbol: CHECK_ALIGNMENT