Symbol: alloc_fini