Symbol: NORMALIZE_GET_POINTER