34ed96d6ca35f923126c7fcee767794b3ab16688bc770c9cfc49f15fae936bfb *libdvm.a