fd3408ce159c1290ab78f53246c41d0cc1edc68dfad73532aee0b172132a1d9b *libdvm.a