440b082ec958ab887ee48736942cc105eed84b8f409f5385f8aacb34eab0630d *libdvm.a