0c253e66e2845406feb5dbd0ec5783298d85b9a5b1c732057d5647949cba3872 *libdvm.a