6235f13808f6c84c46fb01f1f70a6120ba1189db10fe9ad99133566361306d2b *libdvm.a