0fc304e325c2484a87e490345d671697cdf76528b9296566e14b10252c02eee5 *libdvm.a