48a085705c5c4d334a3f780afa8f5f62fbed55e819f30fb870b13fdb28214379 *libdvm.a