Symbol: solv_vercmp