a586e01275f608f9e3abb7bdde8c0b0ff40c1ff9efc301ea4e6a80d3b242c6bc *libdvm.a