8ebc28f108345092e28111fe8b5aed7f563dfd453878045f776e9df22bbcfb5e *libdvm.a