f8c6c00356c13b0ab94f7ab36f7fcf98f3d2906e65c6c5efe5a756a987962c0d *libdvm.a