8000af7fc8b875420ee24cc445e5fe822cb92656185015a1b9e719b6b2c2cd2f *libdvm.a