Symbol: alloc_phi