63c7722fefd9ed297f5c7fa03dfd6937e428e680b7469c938644fa74ded8c708 *libdvm.a