c3417822df7706d9468dccc7386a432a0d5dae080e25c527e0c71b8dc61f7fb8 *libdvm.a