a5e58740a761f69e269b4193007c7285b3fc0ac1296e12db5641c594dbb725c7 *libdvm.a