a225344e8d7bc7f1814b60fe7383619d391a8f472f45fa46c9d611b453fb64dc *libdvm.a