233baea5f9bbd8b4fdc839ee645f0dabf157462527ba1e4f1e3d1f809e4d9c7b *libdvm.a