a88f56c57744bbc8d34e5a3bf9d7b799059c99f3f80f1746ce00e3827fc50c00 *libdvm.a