5dc275d1660af47d55cc23f3d80d1a60dfdadb79eae5dc2ea44ebb1c5d9875ce *libdvm.a