55fe4ea3b2decec151720096b1cf96dec07b880b4617dbf51adfb33d90c8b28d *libdvm.a