a48cc468d8816137f0fd6f0716c8464b8ab78be57e4c6752e3eeff5bdc4589ff *libdvm.a