0f3aa693781d933c994589ff729127acac883c5d4379f2177fccfcd4696179d5 *libdvm.a