80824fc5eda404e9d8466bbc0463f691a492c1b8c085da1f76df738a81c8e43d *libdvm.a