a8bf7b8a93767bb8e2ba1d8adb185ed7f8b36babe73058bcfa5df7e85311ddd0 *libdvm.a