Symbol: ALIGNED_POINTER