32fd306760256cae95a47bfc7b00e2bb737de8f42f306e4ef18cf60b2fc4579b *libdvm.a