102f071f036c7ec7baa606843cc88e5230a232c90b4a602866a49ee06dfa245c *libdvm.a