16e819f0d8fe932a489682102811dc91d6717e5e05dbbe774ad8894cd9b227cc *libdvm.a