Symbol: solv_oom