bc656031704a57393c7b360093efde92f33f58800d5dcf9d5b4f4b851ed06cda *libdvm.a