fc8ec056d52e9ed7fd028666d567e9613bb7a372d440b01558191b2a8cafe45f *libdvm.a