Symbol: alloc_covered_add