cd10bb28c70b8c91fc2cacc2613cfcf015102f6b69081b34ca56a04dc0cb997d *libdvm.a