Symbol: dup_anon_vma_name