7027b25544e527c10b88952bd9b24105aebb8090be81f52b01a5aeee44f84d57 *libdvm.a