7f1612a2ae23e0564f78d62e0e555c852fa0a16f53a56813ebb80fbd30f39fd8 *libdvm.a