48fb8ccb17e38c3854fcf297851a5af10a5f0fb56d5e0b8f4c2499d7380e793d *libdvm.a