Symbol: RETALLOC