68dfa9757488b5a25bdc092d8e1a238a760c4edfb9e390fc9890bd4203c22cdd *libdvm.a