Symbol: alloc_target