a87900f5e9c156df3a4d8f116a8e9bd38cd0d9df685cda05bd8b00f5ee3b4fb7 *libdvm.a