c17f283cc72dbd4db7fa24aa9ee0f05e1e770eb3623c82443c8df9c7b88fa65a *libdvm.a