83f14eee5d343b3d060fa67c9eeca024ce1b69ff57a5f9bbf600a8c7fbcea84b *libdvm.a