Symbol: safe_alloc