0142ef48aaf73033a96fafbba2f6e2ecd090807c57e8e7f3cb378ccfcb6f336d *libdvm.a