52d8a3646559af3d8ca90fe0642c7a1146ef3faa0db2fdd65833c1064a558948 *libdvm.a