Symbol: ALLOC_HIGHATOMIC