7c3ac9c0ccad7ede1d2932de07957803b858415a4be76419075c170c51dc5525 *libdvm.a